[Monica, Radu] Remove useless .intValue() calls.