pub const CL_DEVICE_DOUBLE_FP_CONFIG: cl_uint = 0x1032;