Module Frama_c_kernel.Contract_special_float