怎么省去小数后多余的0

eg.让5.88000显示为5.88
6.1712000显示为6.1712
希望追加一个这种情况下python的处理办法

1、如果是C的话：

printf("%.2f",5.8800);

2、如果是python：

a = 5.8800
print("%.2f" % a) # %代表格式化输出，.2代表小数点后保留两位，f代表数据类型是浮点型

printf("%.2f",5.8800);