switch (val) {
case gestulx_GlulxVersion:
- return 0x00030101; /* Glulx spec version 3.1.1 */
+ return 0x00030102; /* Glulx spec version 3.1.2 */
case gestulx_TerpVersion:
- return 0x00000404; /* Glulxe version 0.4.4 */
+ return 0x00000407; /* Glulxe version 0.4.7 */
case gestulx_ResizeMem:
#ifdef FIXED_MEMSIZE
return 1; /* We know this accelerated function. */
return 0;
+ case gestulx_Float:
+#ifdef FLOAT_SUPPORT
+ return 1; /* We can do floating-point operations. */
+#else /* FLOAT_SUPPORT */
+ return 0; /* The floating-point opcodes are not compiled in. */
+#endif /* FLOAT_SUPPORT */
+
default:
return 0;