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:
https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/README.txt

If you want to go into some details, there is an awesome clang static analyzer guide
written by Artem Dergachev: https://github.com/haoNoQ/clang-analyzer-guide

Best Regards,
Kirill