From e86afc17058c5320245a5e0e035e4bd0e8e3f62f Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Thu, 23 Jul 2020 01:32:37 +0200
Subject: [PATCH] _cropped_file_size should be an int, fixes #1639

---
 jedi/settings.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jedi/settings.py b/jedi/settings.py
index 6764a3e5..8e6b7bef 100644
--- a/jedi/settings.py
+++ b/jedi/settings.py
@@ -98,7 +98,7 @@ parse the parts again that have changed, while reusing the rest of the syntax
 tree.
 """
 
-_cropped_file_size = 10e6  # 1 Megabyte
+_cropped_file_size = int(10e6)  # 1 Megabyte
 """
 Jedi gets extremely slow if the file size exceed a few thousand lines.
 To avoid getting stuck completely Jedi crops the file at some point.