divide two numbers of any kind
None
The result is stored as an integer if there is no remainder.
| std::div | divide two integer numbers |
| std::mod | compute the remainder of two integer numbers |
| std::times | multiply two numbers of any kind |
| std::plus | add two numbers of any kind |
| std::minus | subtract two numbers of any kind |
| std_types::negative_integer | implements the *over* operation |
| std_types::positive_integer | implements the *over* operation |
| std_types::real | implements the over operation for real numbers |