compatibility with dinosaurs

Old versions (but still used on some LTS editions of some distributions) of
gcc do not know ``-Wdouble-promotion''.