half(min(f64))
