use try-finally in with_bigfloat_*