Can a `double` be converted to a `string`?