Added check that int_lit is not too big