Do the polymorphic ordering functions -- (<), (>), etc. -- correspond  
to the numerical ordering for Int64s and Int32s? I assume so, but I  
didn't see this specified anywhere.

If the answer is 'yes', is there a reason I should prefer
Int64.compare n1 n2 < 0
to
n1 < n2
? If there's no specific reason the first is better (and I don't see  
why it would be), I definitely prefer the second.
-Elnatan