Home   Manual   Type Index   Symbol Index   Topics Index

std::div

divide two integer numbers

Description

The result is rounded towards zero.

See also

std::times   multiply two numbers of any kind
std::over   divide two numbers of any kind
std::mod   compute the remainder of two integer numbers
std::plus   add two numbers of any kind
std::minus   subtract two numbers of any kind

Implemented by

std_types::positive_integer  as  std_types::positive_integer/std::div