FDV_CODE
[FDV_CODE >> 20] = float64_div,
[FDV_CODE >> 20] = floatx80_div,
[FDV_CODE >> 20] = float32_div,