-# define ENDOFFILE 0x0040 /* end of file */
-# define COMMENT 0x0080 /* ; */
-# define IGNORE 0x0100 /* \0 - ' ' */
-# define BACKSLASH 0x0200 /* \ */
-# define VBAR 0x0400 /* | */
+# define FLOATC 0x0040 /* . e E */
+# define ENDOFFILE 0x0080 /* end of file */
+# define COMMENT 0x0100 /* ; */
+# define IGNORE 0x0200 /* \0 - ' ' */
+# define BACKSLASH 0x0400 /* \ */