[sledge] Interpret conversions between float types as identity
[sledge] Interpret conversions between float types as identity

Summary:
Since floats of any width are interpreted the same (as exact rationals
where possible and uninterpreted constants otherwise), this does not
introduce additional infidelity.

Reviewed By: da319

Differential Revision: D24746225

fbshipit-source-id: bc8e7bdb9

facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer