RSF_CODE
[RSF_CODE >> 20] = float64_rsf,
[RSF_CODE >> 20] = floatx80_rsf,
[RSF_CODE >> 20] = float32_rsf,