Symbol: aff_pt_montgomery_is_on_curve