Symbol: ec_GFp_div_mont