Implemented same div-by-zero behavior as found in other synthesis tools