randBigInt_ is missing a bit per element

see #372