floatx80_to_int32
int floatx80_to_int32( floatx80 );
int floatx80_to_int32( floatx80 );
int floatx80_to_int32( floatx80 );
int floatx80_to_int32( floatx80 );
!!!int32 floatx80_to_int32( floatx80 );
time_a_floatx80_z_int32( floatx80_to_int32 );