#![allow(dead_code, deprecated, unused_variables, unused_mut)]
#![feature(cfg_target_has_reliable_f16_f128)]
#![expect(internal_features)]
#![feature(f16)]
fn main() {
    #[cfg(not(miri))] #[cfg(target_has_reliable_f16_math)]
    {
        let a: f16 = 7.0;
        let b = 4.0;
        assert_eq!(a.div_euclid(b), 1.0);
        assert_eq!((- a).div_euclid(b), - 2.0);
        assert_eq!(a.div_euclid(- b), - 1.0);
        assert_eq!((- a).div_euclid(- b), 2.0);
    }
}