Constant CL_DEVICE_DOUBLE_FP_CONFIG 

pub const CL_DEVICE_DOUBLE_FP_CONFIG: cl_uint = 0x1032;