I remember your code (I think), but I gather from your mail that it isn't really a matter of a faster IntInf.* (which I think the Appel hack will do), but to expose some kind of Int32.int * Int32.int -> Int64.int which turns into the instruction. (I agree, if you need this it is a big win.)