Ariane 5 - epic Integer Overflow bug