f64 ** half(0.5)
