diff --git a/scripts/gen_hashed_bin.py b/scripts/gen_hashed_bin.py
index cf5175a..25a9596 100755
--- a/scripts/gen_hashed_bin.py
+++ b/scripts/gen_hashed_bin.py
@@ -145,7 +145,7 @@
     tee_pageable_fname = args.tee_pageable_bin
     pager_input_size = os.path.getsize(tee_pager_fname)
     paged_input_size = os.path.getsize(tee_pageable_fname)
-    hash_size = paged_input_size / (4 * 1024) * \
+    hash_size = paged_input_size // (4 * 1024) * \
         hashlib.sha256().digest_size
 
     if paged_input_size % (4 * 1024) != 0: