don't violate the bn_check_top assertion in BN_mod_inverse_no_branch()