Rounding Meets Approximate Model Counting