The quotient and remainder of a type-level integer and a natural
number. For a negative dividend, the remainder part is positive such
that x = q*y + r @since 0.1.4
Compute the integer quotient (although returned as an Approx
since it may be necessary to return Bottom if the integer
quotient can't be determined) and the modulus as an approximation of
two approximations.