Symbol: ossl_curve448_point_mul_by_ratio_and_encode_like_eddsa