BigFloat Cooley-Tukey FFT and Interval invariance

for H_0. Also, adding a small comment on the Σ operator, and renamed
the file.