Implement Int128 + its numeral literal suffix

src/macro/macroApi.ml

@@ -672,7 +672,7 @@ let decode_const c =
 	| 0, [s;suffix] ->
 		let decoded_suffix = opt decode_string suffix in
 		(match decoded_suffix with
-		| None | Some "i32" | Some "i64" | Some "u32" ->
+		| None | Some "i32" | Some "i64" | Some "i128" | Some "u32" ->
 			Int (decode_string s, decoded_suffix)
 		| Some other ->
 			raise Invalid_expr)

src/syntax/reification.ml

@@ -366,6 +366,8 @@ let reify in_macro =
 				| EParenthesis (ECheckType (e2, (CTPath({path = {tname="Float";tpackage=[]}}),_)),_) -> expr "EConst" [mk_enum "Constant" "CFloat" [e2] (pos e2)]
 				| EConst (Int (s, Some "i64")) ->
 					expr "EConst" [mk_enum "Constant" "CInt" [ (EConst(String (s, SDoubleQuotes)),(pos e1)); (EConst(String ("i64", SDoubleQuotes)),(pos e1)) ] (pos e1)]
+				| EConst (Int (s, Some "i128")) ->
+					expr "EConst" [mk_enum "Constant" "CInt" [ (EConst(String (s, SDoubleQuotes)),(pos e1)); (EConst(String ("i128", SDoubleQuotes)),(pos e1)) ] (pos e1)]
 				| _ ->
 					(ECall ((efield ((efield ((efield ((EConst (Ident "haxe"),p),"macro"),p),"Context"),p),"makeExpr"),p),[e1; to_enc_pos (pos e1)]),p)
 				end

src/typing/typer.ml

@@ -1844,6 +1844,25 @@ and type_expr ?(mode=MGet) ctx (e,p) (with_type:WithType.t) =
 			let arg_low  = EConst (Int (Int32.to_string low, None)), p in
 			let call     = ECall (field, [ arg_high; arg_low ]), p in
 			type_expr ctx call with_type
+		| "i128" ->
+			if String.length s > 34 && String.sub s 0 2 = "0x" then raise_typing_error "Invalid hexadecimal integer" p;
+
+			(*
+				This uses a different method apart from the i64 suffix code.
+    				This is because ocaml doesn't have an Int128 type.
+				I, SomeGuyWhoLikesCoding, am NOT familiar with the ocaml syntax.
+       			*)
+
+			let high = Int64.of_string (String.sub s 2  18) in
+			let low  = Int64.of_string (String.sub s 19 34) in
+
+			let ident = EConst (Ident "haxe"), p in
+			let field = efield ((efield (ident, "Int128"), p), "make"), p in
+
+			let arg_high = EConst (Int (Int64.to_string(high), Some "i64")), p in
+			let arg_low  = EConst (Int (Int64.to_string(low), Some "i64")), p in
+			let call     = ECall (field, [ arg_high; arg_low ]), p in
+			type_expr ctx call with_type
 		| "u32" ->
 			let check = ECheckType ((EConst (Int (s, None)), p), (make_ptp_th (mk_type_path ([],"UInt")) p)), p in
 			type_expr ctx check with_type