bounds: Rectify incorrect computations of the result vector y-component in the add()/sub() Vec2 trait implementations.