Basement.Numerical.Number

class IsIntegral a

class IsNatural a