FRD_CODE
[FRD_CODE >> 20] = float64_rdv,
[FRD_CODE >> 20] = floatx80_rdv,
[FRD_CODE >> 20] = float32_rdv,