Missing documentation for division by zero in `div_sat`/`saturating_div`

[eisenwave]

It's undefined behavior in https://eel.is/c++draft/numeric.sat.func#lib:saturating_div