Fixed JFact bug 9 float value restrictions not understood.

Checking if an inerval for an ordered datatype was empty was returning
wrong results for intervals without a minimum value.