According to 8.3 in the specification, min() and max() functions should return results based on relational operations, y < x or y > x. As they support genType for both operands, it supposedly require...