[ET Trac] #2686: Rename CCTK_REAL -> double when float is not tested