So-called improper complex signals have been shown to be beneficial in the single-antenna two-user Gaussian interference channel under the assumptions that all input signals are Gaussian and that we treat interference as noise (TIN). This result has been obtained under a restriction to pure strategies without time-sharing, and it was extended to the case where the rates, but not the transmit powers, may be averaged over several transmit strategies. In this paper, we drop such restrictions and discuss the most general case of coded time-sharing, where both the rates and the powers may be averaged. Since coded time-sharing can in general not be expressed by means of a convex hull of the rate region, we have to account for the possibility of time-sharing already during the optimization of the transmit strategy. By means of a novel channel enhancement argument, we prove a surprising result: proper signals are optimal if coded time-sharing is allowed. In addition to establishing this result, we present an algorithm to compute the corresponding achievable rate region.