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

fix float test comments and test a few more int->float casts

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