From 2f1cb559a301a0f97551a0407bf6db93174c28c8 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Fri, 15 Sep 2017 21:52:18 +0200
Subject: [PATCH] jetCheck: merge two ints into one double without sign
 promotion

---
 jetCheck/src/jetCheck/Generator.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jetCheck/src/jetCheck/Generator.java b/jetCheck/src/jetCheck/Generator.java
index faef09521431..05a01ee9b4d4 100644
--- a/jetCheck/src/jetCheck/Generator.java
+++ b/jetCheck/src/jetCheck/Generator.java
@@ -223,7 +223,7 @@ public class Generator<T> {
     return from(data -> {
       long i1 = data.drawInt();
       long i2 = data.drawInt();
-      return Double.longBitsToDouble((i1 << 32) + i2);
+      return Double.longBitsToDouble((i1 << 32) + (i2 & 0xffffffffL));
     });
   }