Bignums have explicit sign bits, so `-0x80000000` requires five bytes to represent: `0000008080`.