Here's an idea: Virtually no thorns have been tested with CCTK_REAL -> float (single precision), and in fact many are guaranteed to break. How about for all thorns that have no unit tests in which CCTK_REAL -> float, we do a regex replace CCTK_REAL -> double?

Bottom line: If CCTK_REAL looks like a double, swims like a double, and quacks like a double, let's call it a double.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2686/rename-cctk_real-double-when-float-is-not