On Feb 6, 2006, at 11:12 PM, Stephen Weeks wrote: >> Re IntInf multiply, as I recall, the time it takes for a 32*32->64 >> multiply is the same as for a 32*32->32 multiply on the x86 > > We don't have the primitive support to do the smallMul inline Do I need to beg? :-)