org.semanticweb.HermiT.datatypes.doublenum
Classes 
DoubleDatatypeHandler
DoubleInterval
EmptyDoubleSubset
EntireDoubleSubset
NoNaNDoubleSubset