Integral lattice points

N_NON_NEG_INT : cardinal
Number of non-negative interior lattice points