Consider bounds when refining @min/@max result type; deprecate std.math.{min,max,min3,max3}