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