1.0.18.2: more conservative interval artihmetic