More on Nyquist
If arithmetic precision is not infinite, we get
quantization error during sampling
Recovered signal has quantization noise
i.e., a lossy transform