Use fixnum in the README examples