Auto merge of #1265 - RalfJung:float-cast, r=RalfJung
Auto merge of #1265 - RalfJung:float-cast, r=RalfJung

test floating point casting better

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri