From a62571b003e1ee37d797f55446098dd264d58510 Mon Sep 17 00:00:00 2001
From: Henry de Valence <hdevalence@hdevalence.ca>
Date: Fri, 16 Nov 2018 00:20:51 -0800
Subject: [PATCH] Reduce field elements during conversion to vector form.

The IFMA types have tighter bounds than the u64 types.
---
 src/backend/vector/ifma/edwards.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/backend/vector/ifma/edwards.rs b/src/backend/vector/ifma/edwards.rs
index 65f7c39..5339f05 100644
--- a/src/backend/vector/ifma/edwards.rs
+++ b/src/backend/vector/ifma/edwards.rs
@@ -29,7 +29,8 @@ impl From<edwards::EdwardsPoint> for ExtendedPoint {
 
 impl From<ExtendedPoint> for edwards::EdwardsPoint {
     fn from(P: ExtendedPoint) -> edwards::EdwardsPoint {
-        let tmp = P.0.split();
+        let reduced = F51x4Reduced::from(P.0);
+        let tmp = F51x4Unreduced::from(reduced).split();
         edwards::EdwardsPoint {
             X: tmp[0],
             Y: tmp[1],