Вот именно "float" будет наиболее корректно.
Двоичная дробь - это конкретная форма записи числа.
Но в данном случае форма записи - это двоичное число с плавающей точкой, которое еще и всякие NaNы могёт.