Symbol: aff_pt_edwards_is_on_curve