double_to_string