Simplified code for IntLit