div package:base-compat

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.