`abs` may prevent complete constant folding, making this loop much more expensive due to the branch. we actually derive our own `eps` formula here, so that we can handle special cases like this efficiently by adding another method