[numthreads(1, 1, 1)]
void f() {
  float4 b = float4(2.003662109375f, -513.03125f, -1024.25f, 0.00169684563297778368f);
}