Symbol: bn_div_by_two_mod_odd_n