interval_new contains the correct way to create bigfloat intervals. Don't forget to use set_rounding(prec, 100)