Archived tweet #9970 from the @leastfixedpoint Twitter Archive

@tef I think, looking at the prose you just posted, that you've captured something compatible with what I want wrt numbers. ie: 1e1000 and 1.0e1000 and 0.1e1001 are the same, even though they may not be representable in any given implementation -- right?