Added GAP_ValueMacFloat to libgap-api

src/libgap-api.c

@@ -10,6 +10,7 @@
 #include "gvars.h"
 #include "integer.h"
 #include "lists.h"
+#include "macfloat.h"
 #include "opers.h"
 #include "plist.h"
 #include "streams.h"
@@ -313,3 +314,21 @@ Obj GAP_CharWithValue(UChar obj)
 {
     return ObjsChar[obj];
 }
+
+double GAP_ValueMacFloat(Obj obj)
+{
+    if (!IS_MACFLOAT(obj)) {
+        ErrorMayQuit("<obj> is not a MacFloat", 0, 0);
+    }
+    return (double)VAL_MACFLOAT(obj);
+}
+
+Obj GAP_NewMacFloat(double x)
+{
+    return NEW_MACFLOAT(x);
+}
+
+Int GAP_IsMacFloat(Obj obj)
+{
+    return IS_MACFLOAT(obj);
+}

src/libgap-api.h

@@ -197,4 +197,18 @@ extern Int GAP_ValueOfChar(Obj obj);
 // Returns the GAP character object with value <obj>.
 extern Obj GAP_CharWithValue(UChar obj);
 
+////
+//// floats
+////
+
+// Returns the value of the GAP machine float object <obj>.
+// If <obj> is not a machine float object, an error is raised.
+extern double GAP_ValueMacFloat(Obj obj);
+
+// Returns a new GAP machine float with value <x>.
+extern Obj GAP_NewMacFloat(double x);
+
+// Checks if obj is a GAP machine float.
+extern Int GAP_IsMacFloat(Obj obj);
+
 #endif