An example: Ariane 5
One of the reasons for the failure of the first Ariane 5 was that a conversion to integer failed (overflow)
This code was taken from Ariane 4, and there was a comment demonstrating that it could not fail on Ariane 4.
But the parameters had different values on Ariane 5.
The comment was not noticed or checked.