div package:verset
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.