As stated previously, the binary32 and binary64 formats are identical to the single and double formats respectively of IEEE 754-1985 and are two of the most common formats used today.
Как было указано ранее, форматы binary32 и binary64 идентичны форматам IEEE 754—1985 и являются двумя наиболее распространенными форматами, используемыми сегодня.