diff -r 5688fa07f89a -r e5deeb6d4d2f absyntax_utils/absyntax_utils.hh
--- a/absyntax_utils/absyntax_utils.hh	Wed Jun 06 00:20:06 2012 +0200
+++ b/absyntax_utils/absyntax_utils.hh	Wed Jun 06 13:28:50 2012 +0100
@@ -55,10 +55,10 @@
 /* returns 0 if the names are equal!! Case is ignored. */
 int compare_identifiers(symbol_c *ident1, symbol_c *ident2);
 
-/* extract the value of an integer from an integer_c object !! */
-long long extract_integer_value(symbol_c *integer);
-
-uint64_t extract_hex_value(symbol_c *sym);
+/* extract the value of an integer/hex_integer/real from an integer_c/hex_integer_c/real_c symbol !! */
+long long extract_integer_value(symbol_c *sym);
+uint64_t  extract_hex_value    (symbol_c *sym);
+double    extract_real_value   (symbol_c *sym);
   
 /* A symbol table with all globally declared functions... */
 extern function_declaration_c null_symbol1;