f64 <= 1 + 0.5
