floatx80_round_to_int
[RND_CODE >> 20] = floatx80_round_to_int,
[URD_CODE >> 20] = floatx80_round_to_int,
floatx80 floatx80_round_to_int( struct roundingData *, floatx80 );