0.5 * 1 + half(f64)
