diff --git a/src/pocketmine/level/format/generic/BaseLevelProvider.php b/src/pocketmine/level/format/generic/BaseLevelProvider.php
index dd5d2c11b..5c7bba013 100644
--- a/src/pocketmine/level/format/generic/BaseLevelProvider.php
+++ b/src/pocketmine/level/format/generic/BaseLevelProvider.php
@@ -50,6 +50,7 @@ abstract class BaseLevelProvider implements LevelProvider{
 		$levelData = $nbt->getData();
 		if($levelData->Data instanceof CompoundTag){
 			$this->levelData = $levelData->Data;
+			assert(is_int($this->levelData["RandomSeed"]));
 		}else{
 			throw new LevelException("Invalid level.dat");
 		}
@@ -126,4 +127,4 @@ abstract class BaseLevelProvider implements LevelProvider{
 	}
 
 
-}
\ No newline at end of file
+}
diff --git a/src/pocketmine/level/format/mcregion/McRegion.php b/src/pocketmine/level/format/mcregion/McRegion.php
index 9d00c0b16..af7e6e418 100644
--- a/src/pocketmine/level/format/mcregion/McRegion.php
+++ b/src/pocketmine/level/format/mcregion/McRegion.php
@@ -92,7 +92,7 @@ class McRegion extends BaseLevelProvider{
 			"version" => new IntTag("version", 19133),
 			"DayTime" => new IntTag("DayTime", 0),
 			"LastPlayed" => new LongTag("LastPlayed", microtime(true) * 1000),
-			"RandomSeed" => new LongTag("RandomSeed", $seed),
+			"RandomSeed" => new LongTag("RandomSeed", (int) $seed),
 			"SizeOnDisk" => new LongTag("SizeOnDisk", 0),
 			"Time" => new LongTag("Time", 0),
 			"generatorName" => new StringTag("generatorName", Generator::getGeneratorName($generator)),
@@ -324,4 +324,4 @@ class McRegion extends BaseLevelProvider{
 		}
 		$this->level = null;
 	}
-}
\ No newline at end of file
+}