Many API improvements and more bugfixes

1 files changed, 27 insertions, 1 deletions

diff --git a/src/Double.vala b/src/Double.vala
index 0ca6866..924d5f6 100644
--- a/src/Double.vala
+++ b/src/Double.vala
@@ -1,7 +1,33 @@
 namespace Eva {
-  public class Double : Object, Term {
+  public class Double : Object, Term, Numeric {
     public double value {get; construct;}
     
+    public int int_value {
+      get {
+        return (int)value;
+      }
+    }
+    public uint uint_value {
+      get {
+        return (uint)value;
+      }
+    }
+    public long long_value {
+      get {
+        return (long)value;
+      }
+    }
+    public ulong ulong_value {
+      get {
+        return (ulong)value;
+      }
+    }
+    public double double_value {
+      get {
+        return value;
+      }
+    }
+    
     public Double(double v) {
       Object(value: v);
     }