mixed decimal point characters

[stullis]

A quick look suggests there isn't anything of the sort in the standard library. There could be something in PyPi or on Github. Perhaps inherit from Decimal and add parsing and formatting methods to accommodate the format difference.