half(0.5) + 1 * f64
