In the Java double type, there's such a thing as
"negative zero", which is == to positive zero, but can
be distinguished by division; dividing 1 by -0 gives
negative infinity, while dividing 1 by +0 yields
positive infinity. The Interval class should deal with
this somehow.
