3 ms·

Exactly. I started out aiming for performance, and quickly realized that the benefits to correctness were even higher.