Fix `int` serilization / deserialization size.

Before this change, encoding an int would be platform
dependent because it would use write_be_int rather than
picking a size up front.  This change chooses a size
(64 bit integer) and encodes and decodes with that size.

Closes #5