Characteristic predicate ArithmeticType :: ArithmeticType
ArithmeticType
(
)