f64 < f32 - 1
