RND_CODE
[RND_CODE >> 20] = float64_round_to_int,
[RND_CODE >> 20] = floatx80_round_to_int,
[RND_CODE >> 20] = float32_round_to_int,