add two numbers of any kind
The result is always stored in the simplest possible form.
| std::minus | subtract two numbers of any kind |
| std::times | multiply two numbers of any kind |
| std::over | divide two numbers of any kind |
| std::div | divide two integer numbers |
| std::mod | compute the remainder of two integer numbers |
| std_types::character | returns the *n*th-next character |
| std_types::date_and_time | adds an arbitrary time delta to a date-and-time object |
| std_types::positive_integer | implements the plus operation for positive integers |
| std_types::real | implements the plus operation for real numbers |