float64_to_int64_no_overflow
tfc.i = float64_to_int64_no_overflow(tfb.i);
int64_t float64_to_int64_no_overflow( float64 );