web-feature: WEBGL_color_buffer_float WebGL extension

The WEBGL_color_buffer_float extension for WebGL 1.0 contexts adds the 32-bit floating-point type RGBA32F as a color-renderable format.