mixed mode is not covered in IEEE standard. The assumption of most people is, I think that the smaller format is zero-extended and then compared. Rational numbers are not part of the IEEE standard, and that is where jonl's point comes up. This was discussed a year ago, or so.