P3938 "non-negative" requirement doesn't handle negative zero

[eisenwave]

Negative zero is not negative, so the restriction doesn't apply to negative zero as intended.