cctools.py: the format character for decimals is 'd', not 'i'