* converter's option to keep 'precision' declaration in optimized shaders