>>> from decimal import Decimal
  >>> 2 * Decimal("3.1")
  Decimal('6.2')