def device_supports_double(cl_device):
    """Check if the given CL device supports double

    Args:
        cl_device (pyopencl cl device): The device to check if it supports double.

    Returns:
        boolean: True if the given cl_device supports double, false otherwise.
    """
    dev_extensions = cl_device.extensions.strip().split(' ')
    return 'cl_khr_fp64' in dev_extensions
