diff --git a/resource/api/Constructors.gf b/resource/api/Constructors.gf
index ffc71016..8ede44d5 100644
--- a/resource/api/Constructors.gf
+++ b/resource/api/Constructors.gf
@@ -1083,6 +1083,8 @@ incomplete resource Constructors = open Grammar in {
       those_QuantPl : QuantPl = mkQuantPl that_Quant ; 
 
 
+      mkiNum : Int -> Num         -- 51
+                                         =    NumInt      ;
 
     mkNum = overload {
       mkNum : Numeral -> Num = NumNumeral ;