pub fn hypot<F: Float>(x: F, y: F) -> F
√(x² + y²), with no overflow or underflow in between. An infinite argument gives ∞, even beside NaN.