It needs to be documented, since it's probably not, but non-numeric float values are treated specially. Specifically, denormalized values and negative zero are never allowed in any context; not-a-number is treated as a Maybe; and infinities are an interesting case. They could be useful in some scenarios to express limit values on ranges.
The existing decisions should be documented, and the infinities case should be decided on.
It needs to be documented, since it's probably not, but non-numeric float values are treated specially. Specifically, denormalized values and negative zero are never allowed in any context; not-a-number is treated as a Maybe; and infinities are an interesting case. They could be useful in some scenarios to express limit values on ranges.
The existing decisions should be documented, and the infinities case should be decided on.