Archived tweet #9951 from the @leastfixedpoint Twitter Archive@tef That's really neat! It could really go somewhere if you spelled out the details of when two values are equal or not a little more. (Are "integers" and "floating point" numbers disjoint? Are they fixed width? (My pref would be: no, and no))