Compiling with -Wdouble-promotion results in a nuber of warnings
I noticed this because the option -Wdouble-promotion
is used in some LHCb code and that triggered the warning in a Gaudi header.
See https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wdouble-promotion for details about why that is useful.