Symbol: ec_GFp_pt_is_inf_jac