Fixed bug in int_literal_p