The binary32 and binary64 formats are the single and double formats of IEEE 754-1985 respectively.
Формати binary32 і binary64 відповідають форматам одинарної та подвійної точності стандарту IEEE 754-1985.