ignoring-div-by-0 during synthesis