Use bignum for int64 buffer