Renamed input/output_binary_int to input/output_binary_int32 to make clear the functions work on 32-bit integers and not machine-size integers
Use Obj.xxx_tag instead of tags computed at runtime