FLT_MANT_MASK
val = ((u64)((fval & FLT_MANT_MASK) | BIT(23)));
FIELD_PREP(FLT_MANT_MASK, val & FLT_MANT_MASK);