Add a doubleValue() method

diff --git a/Robust/src/ClassLibrary/Integer.java b/Robust/src/ClassLibrary/Integer.java
index 0cc1bd90b4f1ea4b4c59d7b8cb634706c7bff3bf..c0439a9ff5b6ae2e347102d4fab78d5721f91ed0 100644 (file)
--- a/Robust/src/ClassLibrary/Integer.java
+++ b/Robust/src/ClassLibrary/Integer.java
@@ -13,6 +13,10 @@ public class Integer {
     return value;
   }
 
+  public double doubleValue() {
+    return (double)value;
+  }
+
   public static int parseInt(String str) {
     return Integer.parseInt(str, 10);
   }