[math-fun] smin and smax