Where it should be the reverse. Science demands reproducibily where engineering just tight thresholds to function upon defined conditions, but not 100% exact.

And except for SEL4 and some small microcontrollers with Eforth, C and tons of languages have undefined behaviours.