Replace floating point constants in the expressions and remove them from path conditions

[Himeshi]

Replace floating point constants in the expressions and remove them from path conditions (since they're not input)