[Python-ideas] Decimal literal?