implements the times operation
| std::times | multiply two numbers of any kind |
| std_types::positive_integer | the prototype object for all non-negative integers |
| std::over | divide two numbers of any kind |
| std::plus | add two numbers of any kind |
| std::minus | subtract two numbers of any kind |