pub const CL_DEVICE_DOUBLE_FP_CONFIG: cl_device_info = 0x1032;