Is there a package which provides a VectorSpace object defined over the Reals, Rationals, Complex, etc? It'd be nice to test membership.