Hello Sean,
min() doesn't perform atomic operations (in fact, it probably just takes the parameters by value) so it isn't guaranteed to refetch the values.
Hmmm. I wonder how that mixes with it being a delegate. I guess inlining and whatnot would make a difference. Ug.