>А прогеры на ada между прочим угробили Arian-V.

Там все прикольно. Вроде обычное переполнение.

The internal SRI software exception was caused during execution of a data conversion from 64-bit floating point to 16-bit signed integer value. The floating point number which was converted had a value greater than what could be represented by a 16-bit signed integer. This resulted in an Operand Error. The data conversion instructions (in Ada code) were not protected from causing an Operand Error, although other conversions of comparable variables in the same place in the code were protected.

При этом решение не проверять именно это место на переполнение было совершенно осознанным (т.к. комп был слабосильный и надо было экономить) и 100 раз проверялось моделированием что такой ситуации не будет. Вот только этот кусок кода был скопирован из софта для другой ракеты, с другой траекторией и совсем другими числами

The value of BH was much higher than expected because the early part of the trajectory of Ariane 5 differs from that of Ariane 4 and results in considerably higher horizontal velocity values.