hypot(Inf, NaN) == Inf
hypot(Inf, NaN) == Inf
⇒ I expect this choice got careful consideration. (Edit: in the end, the reasoning still could have been “unfortunately, existing implementations do it this way; we’ll begrudgingly follow them”)