Some hack for + operator to be inferred as integer when its operands are...

... known integers