org.semanticweb.HermiT.datatypes.floatnum
Classes 
EmptyFloatSubset
EntireFloatSubset
FloatDatatypeHandler
FloatInterval
NoNaNFloatSubset