Non Deterministic floats in clang static analyzer.

Hi Julian,

Sorry for interfering, if you need a brief description of how the clang static
analyzer performs a symbolic execution of the program, try this:

If you want to go into some details, there is an awesome clang static analyzer guide
written by Artem Dergachev:

Best Regards,