div package:universum
integer division truncated toward negative infinity
WARNING: This function is partial (because it throws when 0 is passed
as the divisor) for all the integer types in base.
simultaneous
div and
mod
WARNING: This function is partial (because it throws when 0 is passed
as the divisor) for all the integer types in
base.