Add EXT_color_buffer_float proposal.