mi.idft returns incorrect results (inverse DFT is broken)

mi.idft returns incorrect results (inverse DFT is broken): a task in repo2rlenv-swe-smith (Harbor dataset). mi.idft does not correctly invert mi.dft . Applying idft to the output of dft does not recover the original sequence, making the inverse Discrete Fourier Transform implementation incorrect.