If you divide by interval which contains zero, you can not only use the from and to value into account. You also have to take into account zero (because division is discontinuous). And since we decided to ignore zero and use either 1 or -1 (see #145), you have to use these values.
In Float::Interval, you use negative and positive infinity -> therefore top.
If you divide by interval which contains zero, you can not only use the from and to value into account. You also have to take into account zero (because division is discontinuous). And since we decided to ignore zero and use either 1 or -1 (see #145), you have to use these values.
In Float::Interval, you use negative and positive infinity -> therefore top.