RMF_CODE
[RMF_CODE >> 20] = float64_rem,
[RMF_CODE >> 20] = floatx80_rem,
[RMF_CODE >> 20] = float32_rem,