fixed false positive numeric conversion; allowing infinite matches; better printing and stats with visitation; running time with allowed relative error at 0.2 is about 15 minutes