Hi

I am writing an implementation of the Python programming language in  
OCaml and ran into an interesting issue.

Python allows the programmer to implicitly perform arbitrary-sized  
integer operations by switching internally between its 'int' and  
'long' types. (which seems to translate to OCaml's int64 and BigInt).

I found an OCaml library on a mailing list which checks for overflow  
in 'normal' 32-bit integer operations. How can I check for overflows  
in int64 operations so I can switch to big-int if that happens?


Thanks!
Raj