min(f64) + f64
