added option for returning a constant for bv division by zero