pub const CL_DEVICE_HALF_FP_CONFIG: cl_device_info = 0x1033;