Another solution for the time being would be to have `plus (other: INTEGER): INTEGER' in INTEGER_32_REF. Turns out that today, the _REF classes are useless because one can pass an INTEGER to ANY and keep the type INTEGER. It is quite unlike the old days when passing an INTEGER to ANY would magically create an INTEGER_REF.

What is the scenario where you are still using INTEGER_32_REF?