--- a/teal-src/util/error.d.tl	Thu Mar 18 13:07:10 2021 +0100
+++ b/teal-src/util/error.d.tl	Thu Mar 18 23:16:41 2021 +0100
@@ -35,14 +35,14 @@
 	type : error_type
 	condition : error_condition
 	text : string
-	code : number
+	code : integer
 end
 
 local record error
 	type : error_type
 	condition : error_condition
 	text : string
-	code : number
+	code : integer
 	context : { any : any }
 	source : string
 end