to make float to double in the codeformat.py