Basement.Numerical.Multiplicative

class Multiplicative a

class IDivisible a

class Divisible a

recip