digitseparator (pypi): separate digits
Keywords: spacing