Code Editor : EC_POINT_is_at_infinity.3