IEEE 754

Стандарт IEEE 754 був розроблений робочою групою Floating-Point Working Group комітету стандартів Інституту інженерів з електротехніки та електроніки IEEE у 1985 році. Провідну роль у розробці стандарту відіграв професор Каліфорнійського університету в Берклі Вільям Кехен, якого часто називають «батьком рухомої коми»[2].

Після 2000 року робоча група зайнялася удосконаленням існуючого стандарту IEEE Std 754—1985 з метою усунення недоліків, об'єднання його зі стандартом IEEE Std 854—1987 та доповнення новими можливостями[3]. Ця робота завершилася у 2008 році прийняттям нового стандарту IEEE Std 754—2008[1]. Пізніше цей стандарт був затверджений Міжнародною організацією зі стандартизації як ISO/IEC/IEEE 60559:2011[4].

Основний формат (basic format) — одне із п'яти представлень чисел з рухомою комою (три двійкових і два десяткових), визначених цим стандартом і призначених для арифметики.

Формат обміну (interchange format) — формат, що має визначене кодування фіксованої ширини, визначене цим стандартом.

Формат розширеної точності (extended precision format) — формат, який розширює основний формат, надаючи більшу точність і діапазон представлення чисел.

Формат розширюваної точності (extendable precision format) — формат з точністю і діапазоном, які визначаються користувачем.

Не число (not a number, NaN) — код, який не є чинним представленням жодного з чисел з рухомою комою. Буває двох типів «тихе не число» та «сигнальне не число».

Тихе не число (quiet NaN, qNaN) — є результатом операції, який не є числом з рухомою комою, хоча й не призводить до генерації виключень (наприклад, операції 0/0 або корінь з від'ємного числа дають NaN).

Сигнальне не число (signaling NaN, sNaN) — сигналізує про неприпустиме значення числа з рухомою комою шляхом генерації виключення. Зазвичай сигналізує про неініціалізовані змінні.

Зміщений порядок (biased exponent) — сума порядку і зміщення (константи), обраного так, щоб усі порядки були невід'ємними.

Хвіст мантиси (trailing significand) — дробова частина нормалізованої мантиси (для двійкового представлення — усі біти мантиси, крім найстаршого).

Стандарт визначає формати чисел з рухомою комою, які використовуються для представлення скінченної підмножини дійсних чисел. Формати характеризуються основою системи числення (radix або base), точністю (precision) і діапазоном значень порядку (range). Визначені конкретні кодування для двійкових і десяткових форматів.

Оновлений стандарт IEEE Std 754—2008 визначає два види форматів:

• формати обміну, визначені як бітові послідовності фіксованої довжини, що дозволяють здійснювати обмін даними між різними платформами (за умови, що вирішені питання порядку слідування байтів);
• формати розширеної і розширюваної точності, кодування яких точно не визначене, але може відповідати форматам обміну.

Формати обміну включають п'ять основних форматів фіксованого розміру:

• три двійкових формати з кодами довжиною 32, 64 і 128 біт (binary32, binary64, binary128);
• два десяткових формати з кодуваннями довжиною 64 і 128 біт (decimal64, decimal128).

Формати binary32 і binary64 відповідають форматам одинарної та подвійної точності стандарту IEEE 754—1985.

Представлення даних з рухомою комою включає:

• трійку елементів (знак s, порядок e, мантиса m); в системі числення за основою b число з рухомою комою має вигляд (−1)^s × m × b^e;
• дві нескінченності +∞, −∞;
• два типи не чисел qNaN (тихе), sNaN (сигнальне).

Кодування переводить дані з рухомою комою в бітову послідовність. Бітові послідовності NaN можуть містити ретроспективну діагностичну інформацію.

Числа з рухомою комою представляються в заданому форматі за допомогою наступних параметрів:

• основа b (2 або 10);
• кількість цифр мантиси (точність) p;
• максимальний порядок e = e_max;
• мінімальний порядок e = e_min.

Для всіх форматів справедливо e_min = 1 − e_max.

Дані з рухомою комою у форматах обміну представляються k бітами за допомогою трьох полів:

• 1-бітовий знак S;
• w-бітовий зміщений порядок E = e + bias;
• t-бітовий (t = p−1) хвіст мантиси T = d₁d₂…d_p−1; ведучий біт мантиси d₀, неявно закодований у зміщеному порядку E.

Для представлення у цьому форматі двійкове число спочатку нормалізується, тобто приводиться до такого вигляду, коли мантиса потрапляє в діапазон 1 ≤ m < 2. Таким чином ціла частина нормалізованої мантиси завжди дорівнює 1.

Знак додатних чисел кодується нулем, від'ємних одиницею. В поле порядку пишеться зміщений порядок — до порядку нормалізованого числа додається константа, таким чином всі порядки представляються додатними числами. В поле мантиси записується, т. зв. «хвіст» мантиси — всі дробові цифри мантиси (крім першої одиниці, яка є цілою частиною). Ціла частина мантиси в нормалізованому вигляді дорівнює 1 і не входить до коду числа. Це так звана прихована одиниця.

Приклад. 0,3125₁₀ = 0,0101₂ = 1,01 × 2⁻². Для формату binary32 порядок зміщується на 127. E = –2 + 127 = 125 = 1111101₂. Мантиса записується без першої одиниці, тобто T = 01 (1,01 –1 = 0,01). Компоненти коду: знак — 0 (1 розряд), зміщений порядок — 01111101 (8 розрядів), хвіст мантиси 01000000000000000000000 (23 розряди).

Повний 32-бітний код 00111110101000000000000000000000. Кольором виділено поле порядку.

• IEEE Computer Society. IEEE Standard for Binary Floating-Point Arithmetic. — New York : IEEE, 1985. — 23 с. — ISBN 0-7381-1165-1.
• IEEE Computer Society. IEEE Standard for Floating-Point Arithmetic. — New York : IEEE, 2008. — 70 с. — ISBN 978-0-7381-5752-8.
• Muller Jean-Michel та ін. Handbook of Floating-Point Arithmetic. — Boston : Birkhäuser, 2010. — 572 с. — ISBN ISBN 978-0-8176-4705-6.
• Онлайн конвертор IEEE 754