Integer_lattice