[wp] Bind Cfloat simple symbols on Why3 IEEE float

Closes #656, #346, #798, and #785

See merge request frama-c/frama-c!2544