python float to decimal conversion,"format(f, '.15g')"