allow `case` on numbers as well as symbols