this function already exists on PVector, doesn't it?