removing trailing zeros in python,int('0000')