[fix] Fixed building of expressions with floats #810

Job	Run time
Coverage (STP)	4m 49s
Coverage (Z3)	4m 48s
Docker	4m 47s
Linux (LLVM 14)	4m 45s
Linux (LLVM 13)	4m 49s
Linux (LLVM 12)	4m 48s
Linux (LLVM 11, Doxygen)	4m 47s
Linux (LLVM 10)	4m 48s
Linux (LLVM 9)	4m 49s
Linux (ASan)	4m 48s
Linux (UBSan)	4m 47s
Linux (MSan)	4m 49s
Linux (Z3 only)	4m 45s
Linux (metaSMT)	4m 45s
Linux (STP master)	4m 45s
Linux (Latest klee-uclibc)	4m 48s
Linux (Asserts disabled)	4m 47s
Linux (No TCMalloc, optimised runtime)	4m 44s
clang-format	4m 47s
macOS	1s
	1h 30m 56s

Provide feedback