[numthreads(1, 1, 1)]
void f() {
  int a = int(1073757184);
  float b = asfloat(a);
}