div package:base-prelude

integer division truncated toward negative infinity
Generalisation of div to any instance of Real
simultaneous div and mod
Generalisation of divMod to any instance of Real