Add {float,double,mpfp}_interval.cpp in tests/interval
Add {float,double,mpfp}_interval.cpp in tests/interval