f64 <= 0.5 / 0.5
