In HLSL, SV_GroupThreadID, SV_DispatchThreadID, and SV_GroupID are uint3 vectors, but in WHLSL they are float3. https://docs.microsoft.com/en-us/windows/win32/direct3dhlsl/dx-graphics-hlsl-semantics WHLSL makes no sense here. It's not possible to have a non-integer thread index. The Metal equivalents generated by our compiler are also uint3.
WHLSL is no longer relevant.