Many API improvements and more bugfixes

1 files changed, 27 insertions, 1 deletions

diff --git a/src/Int.vala b/src/Int.vala
index 5df3857..b881a2c 100644
--- a/src/Int.vala
+++ b/src/Int.vala
@@ -1,7 +1,33 @@
 namespace Eva {
-  public class Int : Object, Term {
+  public class Int : Object, Term, Numeric {
     public long 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 value;
+      }
+    }
+    public ulong ulong_value {
+      get {
+        return value;
+      }
+    }
+    public double double_value {
+      get {
+        return value;
+      }
+    }
+    
     public Int(long v) {
       Object(value: v);
     }