[math-fun] Is zero “weakly positive”?