float64_to_int64
long long float64_to_int64( float64 );
long long float64_to_int64( float64 );
long long float64_to_int64( float64 );
long long float64_to_int64( float64 );
!!!int64 float64_to_int64( float64 );
time_a_float64_z_int64( float64_to_int64 );