That thread felt like I was talking crazy pills. So many people confused by the difference between the construction of numbers using some particular set of foundational axioms and the properties of numbers that should hold true _regardless of the constructions_. Obviously the "integer 1" is not strictly speaking "the same as" the "rational number 1" when constructed in set theory, but there's a natural embedding of the integers into the rationals that preserves all the essential properties of the integer 1 when it's represented as the rational number 1. Confusing the concept with the encoding, basically.