inverse_wlc now handles F=HUGE_VAL.