Switch default from_sep_smaller_crit back to precise_linf