Incorrect sign of zero on float %

[RalfJung]

The following program works fine at runtime but panics in Miri:

fn f(one: f64) -> f64 {
    (-1.0) % one
}

fn main() {
    let black_box_one = (std::env::args().len()) as f64;
    let result_rt = f(black_box_one);
    assert!(result_rt.is_sign_negative());
}

This is basically the Miri version of rust-lang/rust#102403, leading to incorrect execution. It's similar to rust-lang/rust#100233 (likely an apfloat porting bug) but a lot harder to work around...

[saethlin]

The program here doesn't panic anymore, and the linked issues are closed as completed by rust-lang/rust#113843 so I think we're probably fixed too?

[RalfJung]

Ah, good point! This can be closed with a test: #3094.