add RTIntegerNegation