(Also, `gen_biguint_below` for the name of this one?)