re-enabled the vector typedefs for arbitrary precision numbers