We have some discussion on forbidding NaN, Inf or other invalid number or expression to be const-expr or override-expr, thus also initializer of constant and override values, in issue #3253.
In this way, we should also require the pipeline-override values provided by by the WebGPU pipeline-creation method must not be invalid, NaN, or Inf after converted (from double type in JS) to corresponding WGSL types. This validation rule, if shall be added, may occurs under GPUProgrammableStage in WebGPU Spec.