Bug fix: some raw Z3 FP operations do not pass the current context as arguments.
Bug fix: some raw Z3 FP operations do not pass the current context as arguments.

The bug led to the problem that in multithreading/multiprocessing, FP
operations can cause z3 context mismatches.

chubbymaggie/claripy,angr/claripy