value-integer -> value-number-integer