Index: home/support/common_terminals.hpp
===================================================================
--- home/support/common_terminals.hpp	(revision 72619)
+++ home/support/common_terminals.hpp	(working copy)
@@ -116,6 +116,12 @@
         ( qword, qword_type )
         ( big_qword, big_qword_type )
         ( little_qword, little_qword_type )
+        ( bin_float, bin_float_type )
+        ( big_bin_float, big_bin_float_type )
+        ( little_bin_float, little_bin_float_type )
+        ( bin_double, bin_double_type )
+        ( big_bin_double, big_bin_double_type )
+        ( little_bin_double, little_bin_double_type )
         ( skip, skip_type )
         ( delimit, delimit_type )
         ( stream, stream_type )