Numeric.NonNegative.Class
class
C
a