It was easier than leaving a long comment describing the math trick we're using. Now it's at least clear that all this is a an atomic unit which gets us ```pos```.