src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Fri Oct 29 23:15:01 2010 +0200
+++ b/src/Pure/Isar/token.scala	Sat Oct 30 15:26:40 2010 +0200
@@ -21,7 +21,8 @@
     val VAR = Value("schematic variable")
     val TYPE_IDENT = Value("type variable")
     val TYPE_VAR = Value("schematic type variable")
-    val NAT = Value("number")
+    val NAT = Value("natural number")
+    val FLOAT = Value("floating-point number")
     val STRING = Value("string")
     val ALT_STRING = Value("back-quoted string")
     val VERBATIM = Value("verbatim text")