The octagon domains improves the precision on the first run, with unsufficient
automatic loop unrolling — but not on the second run.
The gauges domain improves the precision on both runs.