Fix Uint64.{bits_of_float,float_of_bits}