Characteristic predicate FloatType::FloatType

FloatType()