I tried avoiding the full list of digits, but it's much more readable your way; pushed a version to use this
« Back to merge proposal
I tried avoiding the full list of digits, but it's much more readable your way; pushed a version to use this