<xstd/ints/cstdlib/div_floor.hpp>

xstd::div_floor

template<integer I>
  constexpr auto div_floor(I numer, I denom) noexcept(nothrow_const_operators<I>) -> div_result<I>;

The quotient and remainder of integer division rounded toward negative infinity.

Parameters

Parameter	Meaning
numer	the numerator
denom	the denominator

Preconditions: As for div.

Return value

Returns: {.quotient = q, .remainder = numer - denom * q}, where q is numer / denom rounded toward negative infinity: |remainder| < |denom|, and a nonzero remainder has the sign of denom.

Exceptions

The exception specification is nothrow_const_operators<I>.

Notes

• Over an unsigned I it is div, and over a signed one it agrees with div wherever the division is exact.
• A call is a constant expression wherever I's own / and % are.

See also

Entity	Relation
div_result	the result type
div, div_euclid, div_ceil	the other roundings