Access to Predefined Operators

Abstract

It is often desirable to overload predefined operators. For example, one might want to transform the arithmetic “+” into an addition modulo something, or to make the “*” a multiplication with a controlled precision.