Python float to Decimal conversion,"format(f, '.15g')"