Rename double.cpp.txt to double.cpp