Do not force anyone to use -Wdouble-promotion