In 1996, the Ariane 5 rocket exploded 37 seconds after launch because a 64-bit floating-point number was converted to a 16-bit integer, causing an overflow — a bug that systematic debugging of the reused Ariane 4 code would have caught.