lattice_point.cc: avoid conversion between NTL and pure gmp values