Teach getExactSDiv to evaluate x/1 to x up front, as it's a common