0xdeadbeef is not a fixnum on 32-bit architectures