switch (Number.tainted(1234567)) {
  case 1234567:
    console.log("1"); // prints 1
    break;
  default:
    console.log("0");
    break;
}

switch (Number.tainted(1)) {
  case 1:
    console.log("1");
    break;
  default:
    console.log("0"); // prints 0
    break;
}