Inexact representation of constants #4
Description
Some constants, like 0.1, are not exactly representable as dyadic rationals. Currently, they are turned into dyadic intervals, which are hopefully very small. This ensures that answers are correct, but unfortunately, it means that we may sometimes endure nontermination. Ideally, the constant 0.1 should be represented as 1 / 10, since it does appear that integers are always represented exactly.