Characteristic predicate Type::ArithmeticType::ArithmeticType

ArithmeticType()