What is the main idea behind the Integer MDCT and its application in lossless audio coding? Explain in a concise manner and by using mathematical arguments the difference between Integer MDCT (Int MDCT) and the MDCT. Show the utility of the FFT in both.