Lattice algorithms using floating-point arithmetic
