Extreme types now contain the values they mean to represent.