Numerical Considerations in Weighted Model Counting