types used in Numerical Algebraic Geometry