Option to silence `treating long double constant [...] as double constant at [...] (only relevant if first argument of CReal is used)`

Some tools (e.g. Goblint) take care to not access the first component of `CReal` as OCaml `float`s can not accurately represent such large constants.

There should be an option to silence these warnings for tools that are aware of this pitfall to avoid polluting logs.