diff --git a/crypto_sign/falcon-1024/clean/fpr.h b/crypto_sign/falcon-1024/clean/fpr.h
index b6f3908f..5678471e 100644
--- a/crypto_sign/falcon-1024/clean/fpr.h
+++ b/crypto_sign/falcon-1024/clean/fpr.h
@@ -436,8 +436,8 @@ fpr_lt(fpr x, fpr y) {
      */
     int cc0, cc1;
 
-    cc0 = ((*(int64_t *)&x - *(int64_t *)&y) >> 63) & 1;
-    cc1 = ((*(int64_t *)&y - *(int64_t *)&x) >> 63) & 1;
+    cc0 = (int)((*(int64_t *)&x - *(int64_t *)&y) >> 63) & 1;
+    cc1 = (int)((*(int64_t *)&y - *(int64_t *)&x) >> 63) & 1;
     return cc0 ^ ((cc0 ^ cc1) & (int)((x & y) >> 63));
 }
 
diff --git a/crypto_sign/falcon-512/clean/fpr.h b/crypto_sign/falcon-512/clean/fpr.h
index abf8cd34..57dc24e1 100644
--- a/crypto_sign/falcon-512/clean/fpr.h
+++ b/crypto_sign/falcon-512/clean/fpr.h
@@ -436,8 +436,8 @@ fpr_lt(fpr x, fpr y) {
      */
     int cc0, cc1;
 
-    cc0 = ((*(int64_t *)&x - *(int64_t *)&y) >> 63) & 1;
-    cc1 = ((*(int64_t *)&y - *(int64_t *)&x) >> 63) & 1;
+    cc0 = (int)((*(int64_t *)&x - *(int64_t *)&y) >> 63) & 1;
+    cc1 = (int)((*(int64_t *)&y - *(int64_t *)&x) >> 63) & 1;
     return cc0 ^ ((cc0 ^ cc1) & (int)((x & y) >> 63));
 }