MUF_CODE
[MUF_CODE >> 20] = float64_mul,
[MUF_CODE >> 20] = floatx80_mul,
[MUF_CODE >> 20] = float32_mul,