Constructors for vec234.