BareMath: soft_div+UT+Benchmark