div package:relude

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.