NavList thread: NavList and overblown precision in mathematical analysis