Commit a38104b4 authored by Committed by Marge Bot
Rework the Binary Integer instance.
We used to serialise large integers as strings. Now they are serialized as a list of Bytes. This changes the size for a Integer in the higher 64bit range from 77 to 9 bytes when written to disk. The impact on the general case is small (<1% for interface files) as we don't use many Integers. But for code that uses many this should be a nice benefit.
Showing with 74 additions and 22 deletions