use a Cargoified version of libnum.