Bugfix: Serialized numbers are signed, so need an extra \x00 in the case of 0x80...