This is one of the most frustrating problems to me about working with big rationals or intervals. It’s attractively “clean” compared to floating-point numbers,

This is one of the most frustrating problems to me about working with big rationals or intervals. It’s attractively “clean” compared to floating-point numbers, but if you’re not careful, you constantly accumulate more and more “precision” that isn’t really meaningful—you could discard most of the digits of those rationals and end up with the same result when it’s converted to a double.