>>>>> "Luigi" == Luigi 'Comio' Mantellini <luigi.mantellini at idf-hit.com> writes: Luigi> Ciao, Luigi> why do we need this? As it otherwise dies with a missing fenv.h. See the recent discussion on the list. -- Bye, Peter Korsgaard