@dgar maybe use a floating point number that won't fit in a double, e.g., -1.2345e-400, to increase the chance that it'll quietly round to zero