fixes 32-bit to 64-bit serialization compatibility issue
Fixes #347 (closed)
Note: The new serialization may be incompatible with serializations generated before this commmit
Fixes #347 (closed)
Note: The new serialization may be incompatible with serializations generated before this commmit