Another `compare reachvia[] against INFINITY' bugfix, sigh.