diff --git a/ets2panda/checker/ETSchecker.cpp b/ets2panda/checker/ETSchecker.cpp
index 4144da1ef35b883dced383245d7f619cea334c73..f0d1674daeebdb3d8a5690644531f9a9de64e2f3 100644
--- a/ets2panda/checker/ETSchecker.cpp
+++ b/ets2panda/checker/ETSchecker.cpp
@@ -55,20 +55,25 @@ void ETSChecker::InitializeBuiltins(varbinder::ETSBinder *varbinder)
         }
 
         if (var->HasFlag(varbinder::VariableFlags::BUILTIN_TYPE)) {
-            Type *type {nullptr};
-            if (var->Declaration()->Node()->IsClassDefinition()) {
-                type = BuildClassProperties(var->Declaration()->Node()->AsClassDefinition());
-            } else {
-                ASSERT(var->Declaration()->Node()->IsTSInterfaceDeclaration());
-                type = BuildInterfaceProperties(var->Declaration()->Node()->AsTSInterfaceDeclaration());
-            }
-            GetGlobalTypesHolder()->InitializeBuiltin(name, type);
+            InitializeBuiltin(var, name);
         }
     }
 
     AddStatus(CheckerStatus::BUILTINS_INITIALIZED);
 }
 
+void ETSChecker::InitializeBuiltin(varbinder::Variable *var, const util::StringView &name)
+{
+    Type *type {nullptr};
+    if (var->Declaration()->Node()->IsClassDefinition()) {
+        type = BuildClassProperties(var->Declaration()->Node()->AsClassDefinition());
+    } else {
+        ASSERT(var->Declaration()->Node()->IsTSInterfaceDeclaration());
+        type = BuildInterfaceProperties(var->Declaration()->Node()->AsTSInterfaceDeclaration());
+    }
+    GetGlobalTypesHolder()->InitializeBuiltin(name, type);
+}
+
 bool ETSChecker::StartChecker([[maybe_unused]] varbinder::VarBinder *varbinder, const CompilerOptions &options)
 {
     Initialize(varbinder);
diff --git a/ets2panda/checker/ETSchecker.h b/ets2panda/checker/ETSchecker.h
index ab9008418974d1a252c53be770c8572edd88111d..0e3b4bb7bff67dc610276f892af30bdc5ec99f30 100644
--- a/ets2panda/checker/ETSchecker.h
+++ b/ets2panda/checker/ETSchecker.h
@@ -120,6 +120,7 @@ public:
     const GlobalArraySignatureMap &GlobalArrayTypes() const;
 
     void InitializeBuiltins(varbinder::ETSBinder *varbinder);
+    void InitializeBuiltin(varbinder::Variable *var, const util::StringView &name);
     bool StartChecker([[maybe_unused]] varbinder::VarBinder *varbinder, const CompilerOptions &options) override;
     Type *CheckTypeCached(ir::Expression *expr) override;
     void ResolveStructuredTypeMembers([[maybe_unused]] Type *type) override {}
diff --git a/ets2panda/checker/ets/helpers.cpp b/ets2panda/checker/ets/helpers.cpp
index 5e11b6fe85bcd2bd0d6a3a5efd8020b9a5f2240a..b64c8fa19dcdbb2091cf218ea024625df143de42 100644
--- a/ets2panda/checker/ets/helpers.cpp
+++ b/ets2panda/checker/ets/helpers.cpp
@@ -1575,6 +1575,10 @@ Type *ETSChecker::PrimitiveTypeAsETSBuiltinType(Type *object_type)
     auto saved_result = Relation()->IsTrue();
     Relation()->Result(false);
 
+    if (Checker::GetGlobalTypesHolder()->GlobalIntegerBuiltinType() == nullptr) {
+        InitializeBuiltin(VarBinder()->TopScope()->Bindings().find("Int")->second, "Int");
+    }
+
     BoxingConverter converter = BoxingConverter(AsETSChecker(), Relation(), object_type,
                                                 Checker::GetGlobalTypesHolder()->GlobalIntegerBuiltinType());
     Relation()->Result(saved_result);