64 bit float to 32 bit integer with large field arithmatic