add tests for AbstractSatellite.Vector4