Visit for IntegerNumber and upgrade for tests.