`integer_literal` converter.