Problém s ftrapv a fwrapv je, že je to globální nastavení. Ale rozhodnutí jestli má smysl aby nějaký výpočet přetekl je lokální jen pro ten výpočet.
Myslím že pro drtivou většinu intových výpočtů je jakékoliv přetečení hausnumero a důsledek nějaké chyby. Wrap má smysl jen ve výjimečných případech. Takže by to chtělo možnost abych jako programátor mohl explicitně říct, že tady s tím přetečením počítám.