flip strings into >= 0 as part of the simplification process