diff --git a/doc/langref.html.in b/doc/langref.html.in
index a561ebc215..9ea5028282 100644
--- a/doc/langref.html.in
+++ b/doc/langref.html.in
@@ -9508,12 +9508,8 @@ skip <- ([ \n] / line_comment)*
 
 CHAR_LITERAL <- "'" char_char "'" skip
 FLOAT
-    <- "0b" [01]+  "." [01]+  ([eE] [-+]? [01]+)?  skip
-     / "0o" [0-7]+ "." [0-7]+ ([eE] [-+]? [0-7]+)? skip
-     / "0x" hex+   "." hex+   ([pP] [-+]? hex+)?   skip
+    <- "0x" hex+   "." hex+   ([pP] [-+]? hex+)?   skip
      /      [0-9]+ "." [0-9]+ ([eE] [-+]? [0-9]+)? skip
-     / "0b" [01]+  "."? [eE] [-+]? [01]+  skip
-     / "0o" [0-7]+ "."? [eE] [-+]? [0-7]+ skip
      / "0x" hex+   "."? [pP] [-+]? hex+   skip
      /      [0-9]+ "."? [eE] [-+]? [0-9]+ skip
 INTEGER