overloaded operator.

Moreover, do not try to check that int or real constant are ok. It is
the role of the host language.