Added sat -ignore_div_by_zero switch