By selecting Use IEEE32 for double(double is IEEE64) option in the S08 Compiler & Code Generation settings. The compiler/library supports
a model where doubles have only 32bits. So if you decide to use such a format, you need to make sure that the correct library
is linked. Additionally, you need to check that the compiler option for the floating point format is set correctly.