Yeah, I just mirrored the two vector versions for simplicity and keep the same round-off issues.  Probably not the best idea, as you point out.