|  | 
| 71 | 71 |           "html": "<p>Only <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#const-declaration\" id=\"ref-for-const-declaration①\">const-declarations</a> can be <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#type-abstract\" id=\"ref-for-type-abstract④\">abstract</a> types, and only when\nthe type is not explicitly specified.</p>" | 
| 72 | 72 |         }, | 
| 73 | 73 |         { | 
| 74 |  | -          "html": "<p>The type of the expression must be <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#feasible-automatic-conversion\" id=\"ref-for-feasible-automatic-conversion⑦\">feasibly\nconverted</a> to the <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#effective-value-type\" id=\"ref-for-effective-value-type②\">effective-value-type</a>.</p>" | 
|  | 74 | +          "html": "<p>The type of the expression must be <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#feasible-automatic-conversion\" id=\"ref-for-feasible-automatic-conversion⑧\">feasibly\nconverted</a> to the <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#effective-value-type\" id=\"ref-for-effective-value-type②\">effective-value-type</a>.</p>" | 
| 75 | 75 |         }, | 
| 76 | 76 |         { | 
| 77 | 77 |           "html": "<p>If an initializer is not specified, a value must be provided at <a data-link-type=\"dfn\" href=\"https://gpuweb.github.io/gpuweb/wgsl/#pipeline-creation\" id=\"ref-for-pipeline-creation⑦\">pipeline-creation time</a>.</p>" | 
|  | 
| 127 | 127 |       ] | 
| 128 | 128 |     }, | 
| 129 | 129 |     { | 
|  | 130 | +      "name": "numeric conversion to floating point", | 
| 130 | 131 |       "html": "Otherwise the conversion proceeds as follows:", | 
| 131 |  | -      "rationale": "set", | 
|  | 132 | +      "rationale": ".algorithm", | 
| 132 | 133 |       "steps": [ | 
| 133 | 134 |         { | 
| 134 |  | -          "html": "<p>Set <var>X</var> to the original value.</p>" | 
|  | 135 | +          "html": "<p>Set <var>X'</var> to the original value <var>X</var>.</p>" | 
| 135 | 136 |         }, | 
| 136 | 137 |         { | 
| 137 |  | -          "html": "<p>If the source type is a floating point type with more significand bits than the destination type,\n the extra significand bits of the source value <em>may</em> be discarded (i.e. treated as if they are 0).\n Update <var>X</var> accordingly.</p>" | 
|  | 138 | +          "html": "<p>If source type <var>S</var> is a floating point type with more significand bits than the destination type <var>T</var>,\n the extra significand bits of the source value <var>X</var> <em>may</em> be discarded (i.e. treated as if they are 0).\n Update <var>X'</var> accordingly.</p>" | 
| 138 | 139 |         }, | 
| 139 | 140 |         { | 
| 140 |  | -          "html": "<p>If <var>X</var> is the most-positive or most-negative normal value of the destination type, then the result is <var>X</var>.</p>" | 
|  | 141 | +          "html": "<p>If <var>X'</var> is the most-positive or most-negative finite value of the destination type <var>T</var>, then set <var>XOut</var> = <var>X'</var>.</p>" | 
| 141 | 142 |         }, | 
| 142 | 143 |         { | 
| 143 |  | -          "html": "<p>Otherwise, the result is the infinity value of the destination type, with the same sign as <var>X</var>.</p>" | 
|  | 144 | +          "html": "<p>Otherwise, set <var>XOut</var> to the infinity value of destination type <var>T</var>, with the same sign as <var>X'</var>.</p>" | 
| 144 | 145 |         } | 
| 145 | 146 |       ] | 
| 146 | 147 |     }, | 
|  | 
0 commit comments