Symbol: ge_p2_dbl