f64 / half(0.5)
