class Div[a: Type]
A trait for division.
def div(x: a, y: a): a with Div[a]
Returns x divided by y.
x
y