pub fn bigfloat_to_f64(bf_10: BigFloat<10>) -> f64