small fixes to MVM_bigint_radix