NavList thread: On potential error introduced by rounded values