New: flag ROBUST_INTEGRAL_CHECK and default zero=1e-12