Fix assertions.
mffs sets the upper half of the result to a NaN.