Не исключаю, что я чего-то не учитываю, но пока я склонен считать, что те типы, которые заданы в стандарте IEEE 754 - это именно двоичные дроби. Если это не так, то поясните в чём не совсем корректность.

Обозначения типов "float" и ещё хуже "REAL" считаю неудачными.