bugfix for integer and real operations, oclIsTypeOF and oclIsKindOf