There is the Fortran method. The Fortran method I can remember roughly. I certainly have used it enough. You define a type designator as an integer constant. Then you append _DESIGNATOR to the numeral. But another method is to have different contexts. One can have different operators. One can have a context set in parentheses. These are roughly methods used in OCaml. Something like that also in Standard ML. In Scheme, I very often use SRFI-143. That gives you small-integer-only math.