Symbol: is_on_montgomery_curve