glsl: cast dimension size as .length() returns int