Basement.Numerical.Number
class
IsIntegral
a
class
IsNatural
a