Characteristic predicate IntegralType :: IntegralType
IntegralType
(
)