Warning: regressions. Rejuvenation of numerical disjunction elimination, initial commit.