ADDED: non-cryptographic random bigint generator