As per rust-lang/rust#124609, these operations behave non-deterministically, so we should implement that in Miri. The apply_random_float_error function (currently only used for x86 intrinsics) could be used to do that.