min(f64 ^ f64)
