Doctests with approx

General Usage
3

Makes sense.

Ah, didn’t know about this. Thanks!

Lucky for me, I really only need to test ~12 digits after the decimal in any number in the documentation, so I can use a sledgehammer. I added this argument to the makedocs call:

    doctestfilters = [
        # Ignore any digit after the 12th digit after a decimal, throughout the docs
        r"(?<=\d\.\d{12})\d+",
    ],

Note that this issue means we currently can’t apply substitutions with this argument, but for me a lookbehind worked fine.