`static_cast<double(SHRT_MAX)` here again.