i < half(f64)
