[WebGL] Print shader numeric type precisions

gistfile1.ts

const shaderTypes: [number, string][] = [
    [gl.VERTEX_SHADER, 'Vertex shader'],
    [gl.FRAGMENT_SHADER, 'Fragment shader'],
];
const precisionTypes: [number, string][] = [
    [gl.HIGH_FLOAT, 'High float'],
    [gl.MEDIUM_FLOAT, 'Medium float'],
    [gl.LOW_FLOAT, 'Low float'],
    [gl.HIGH_INT, 'High int'],
    [gl.MEDIUM_INT, 'Medium int'],
    [gl.LOW_INT, 'Low int'],
];
for (const [shaderType, shaderTypeName] of shaderTypes) {
    console.info(`${shaderTypeName} precisions:`);
    for (const [precisionType, precisionTypeName] of precisionTypes) {
        const precisionFormat = gl.getShaderPrecisionFormat(shaderType, precisionType);
        if (precisionFormat) {
            const { rangeMin, rangeMax, precision } = precisionFormat;
            console.info(
                `${precisionTypeName}: [-2^${rangeMin}, 2^${rangeMax}]` +
                (precision ? `, 2^${-precision}` : '')
            );
        }
    }
}