Foundation.Numerical

class IsIntegral a

class IsNatural a

class Signed a

class Additive a

class Subtractive a

class Multiplicative a

class IDivisible a

class Divisible a

data Sign

recip

class IntegralRounding a

class FloatingPoint a