Archived tweet #9962 from the @leastfixedpoint Twitter Archive

@tef Re float/bigdecimal: Right, but if you're back to letting implementations dictate, you may as well just say "if you're outside IEEE-double-representability, all bets are off". Re total sort orderings: that's a neat point, it's conservative in an interesting way.