glsl: make use of glsl_type::is_double()