I read in CCodeGenerator>>computeKernelReturnTypes


         fetchFloatAt:into: #float storeFloatAt:from: #float
            fetchFloatAtPointer:into: #float storeFloatAtPointer:from: #float
         fetchSingleFloatAt:into: #float storeSingleFloatAt:from: #float
            fetchSingleFloatAtPointer:into: #float storeSingleFloatAtPointer:from: #float

Ain't these #double?