Symbol: ossl_curve448_point_decode_like_eddsa_and_mul_by_ratio