diff --git a/core/Integer.hh b/core/Integer.hh
index 783953a787df1c22d5ff8dae05d4b1732e59e657..42705bfa672aa48d1324341e6b6bbad03ec96003 100644
--- a/core/Integer.hh
+++ b/core/Integer.hh
@@ -41,9 +41,7 @@ template<typename T>
 class OPTIONAL;
 
 class INTEGER : public Base_Type {
-  // Private constructor for internal initialization.  It's not part of the
-  // public API.
-  explicit INTEGER(BIGNUM *other_value);
+  
   int from_string(const char *);
   
   int get_nof_digits();
@@ -82,6 +80,7 @@ public:
   INTEGER(const INTEGER& other_value);
   INTEGER(int other_value);
   explicit INTEGER(const char *other_value);
+  explicit INTEGER(BIGNUM *other_value);
   ~INTEGER();
   void clean_up();
 
diff --git a/usrguide/apiguide/6-mapping_ttcn3_data_types_to_c++_constructs.adoc b/usrguide/apiguide/6-mapping_ttcn3_data_types_to_c++_constructs.adoc
index 8d3fd07b5fcf6ea6b84b0f51abb4a03fde2ef09e..02f782a49aded3f914896e7428692cfee863b001 100644
--- a/usrguide/apiguide/6-mapping_ttcn3_data_types_to_c++_constructs.adoc
+++ b/usrguide/apiguide/6-mapping_ttcn3_data_types_to_c++_constructs.adoc
@@ -60,6 +60,7 @@ The class `INTEGER` has the following public member functions:
 |`INTEGER(int)` |Initializes to a given value.
 |`INTEGER(const INTEGER&`) |Copy constructor.
 |`explicit INTEGER(const char *)` |Initializes with the (NUL terminated) string representation of an integer.
+|`explicit INTEGER(BIGNUM *other_value)` |Initializes with a BIGNUM object.
 ^.^|_Destructor_
 |`ËœINTEGER()` |
 .2+^.^|_Assignment operators_