У нас был случай, когда пришел запрос в компиляторную команду на добавление некоторой диагностики компиляции. Эта диагностика говорила о том, что применена определенная оптимизация, которая данному заказчику дает расхождение в FP после какого-то знака. А, поскольку, это как-то связано было с финансами, то от надзорных органов им прилетало.