half(f64 * 1)
