Type-check the first argument of Choice(), to make sure it's a number.