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?