Characteristic predicate RealNumberType :: RealNumberType
RealNumberType
(
)