libnum: Make RandBigInt trait public

Closes #12383.