diff --git a/lib/modules/Standards.pmod/ASN1.pmod/Types.pmod b/lib/modules/Standards.pmod/ASN1.pmod/Types.pmod
index 0db2f515aa123938befdca6b0bc807efa8c86b72..285f71ca015923b39a0dc39f76442f31f07d8245 100644
--- a/lib/modules/Standards.pmod/ASN1.pmod/Types.pmod
+++ b/lib/modules/Standards.pmod/ASN1.pmod/Types.pmod
@@ -485,6 +485,11 @@ class Real
     return this;
   }
 
+  protected string _sprintf(int t)
+  {
+    return t=='O' && sprintf("%O(%O)", this_program, value);
+  }
+
   __deprecated__ string debug_string()
   {
     return sprintf("REAL %O", value);