diff --git a/src/main/java/de/tla2b/global/BBuildIns.java b/src/main/java/de/tla2b/global/BBuildIns.java
index bce2f60faba9da4c092e0a5849c1d86486524ed2..970ee039a94adabbadfee2f450df206233c6d6f8 100644
--- a/src/main/java/de/tla2b/global/BBuildIns.java
+++ b/src/main/java/de/tla2b/global/BBuildIns.java
@@ -18,6 +18,7 @@ public interface BBuildIns extends ToolGlobals {
 	UniqueString OP_nat = UniqueString.uniqueStringOf("Nat");
 	UniqueString OP_int = UniqueString.uniqueStringOf("Int");
 	UniqueString OP_real = UniqueString.uniqueStringOf("Real");
+	UniqueString OP_infinity = UniqueString.uniqueStringOf("Infinity");
 	UniqueString OP_bool = UniqueString.uniqueStringOf("BOOLEAN");
 	UniqueString OP_true = UniqueString.uniqueStringOf("TRUE");
 	UniqueString OP_false = UniqueString.uniqueStringOf("FALSE");
@@ -98,4 +99,5 @@ public interface BBuildIns extends ToolGlobals {
 
 	int B_OPCODE_real = B_OPCODE_assert + 1;
 	int B_OPCODE_realdiv = B_OPCODE_assert + 2;
+	int B_OPCODE_infinity = B_OPCODE_assert + 3;
 }
diff --git a/src/main/java/de/tla2b/global/BBuiltInOPs.java b/src/main/java/de/tla2b/global/BBuiltInOPs.java
index 163e30f921c5a702e77544beb1aad04d33afdb90..9d17f8e8c1a59960a6309f6a1672d62cba43beec 100644
--- a/src/main/java/de/tla2b/global/BBuiltInOPs.java
+++ b/src/main/java/de/tla2b/global/BBuiltInOPs.java
@@ -29,6 +29,7 @@ public class BBuiltInOPs implements BBuildIns {
 		B_Opcodes.put(OP_nat, B_OPCODE_nat);
 		B_Opcodes.put(OP_int, B_OPCODE_int);
 		B_Opcodes.put(OP_real, B_OPCODE_real);
+		B_Opcodes.put(OP_infinity, B_OPCODE_infinity);
 		B_Opcodes.put(OP_string, B_OPCODE_string);
 
 		B_Opcodes.put(OP_finite, B_OPCODE_finite);