Archived tweet #9971 from the @leastfixedpoint Twitter Archive@tef I agree. IMO the approach I imagine handles that well: if the impl can't read/write an out-of-range number, it can't even get to the point of trying to compare it, right? So the problem solves itself