Every floating point article (including IEEE 754) I've seen treats normal floating point numbers as dyadic rationals.