Divides the rhs by the lhs
t() :: term
div(t, t) :: t
Divides the rhs by the lhs.
To be clear, this division operation is supposed to be precise.