Thats never a bignum in that example it's just a byte vector (and can be much larger than 5 bytes).