Fix error with a non-const bigint and << streaming