MVF_CODE
[MVF_CODE >> 20] = float64_mvf,
[MVF_CODE >> 20] = floatx80_mvf,
[MVF_CODE >> 20] = float32_mvf,