`WebCLDevice.getSupportedExtensions` should report `KHR_fp64` when `cl_khr_fp64` is supported by the OpenCL device.