Talk:General blindfolded arithmetic

I think that ignoring I/O, exact-rational-division might be unnecessary in Imprecision (thus, +-* on the integers is equally powerful as +-*/ on the rationals). You can represent each number as two numbers, a numerator and a denominator. Then, addition, subtraction, and multiplication on the numerator-denominator pairs can all be implemented in terms of addition, subtraction, and multiplication on the integers – and it's also possible to implement a reciprocal operation (by swapping the numerator and denominator), making it possible to implement division as a multiplication by the reciprocal. (Interestingly, this formulation seems to naturally have infinity and NaN values.) --ais523 09:42, 14 March 2025 (UTC)