Sharp o-minimality and lattice point counting | Synapse