[numthreads(1, 1, 1)]
void f() {
  float3 a = float3(2.003662109375f, -513.03125f, -1024.25f);
  int3 b = asint(a);
}