Attempted to define half vectors, but half needs to be de-constructorized first.