Before revision:  We show that the autocovariance and the spectral density of the discretized process (i.e. the process with round-off error) are asymptotically rescaled by a factor smaller than one, and we compute exactly this scaling factor.
After revision:  We show that the autocovariance and the spectral density of the discretized process are asymptotically rescaled by a factor smaller than one, and we compute exactly this scaling factor.