Delete tools__double_factorial_of.cpp