Use smaller epsilon in halver