Change rounding method for low-resolution / smooth_frames?

The method used by WFDB to downsample signals in "low-resolution mode" is inaccurate (samples are rounded towards zero rather than to the nearest integer.) I'm intending to improve this by using a more accurate method in WFDB 10.7:

https://github.com/bemoody/wfdb/commit/bbfecc133932ae61f3c32491fe4679067b75c9ec

The method used by WFDB 10.6 and earlier is (as far as I know) equivalent to what rdrecord currently does by default (i.e. with smooth_frames=True).

I'm looking for opinions here. Should we make the same change in wfdb-python for the sake of better accuracy? Should we keep the existing inaccurate rounding for the sake of backward reproducibility?

(Implementing this change efficiently with numpy might be a little difficult, but let's ignore that for now.)

smooth_frames=True のときに使用される rdrecord パスから始め、その丸め動作をリンク先の WFDB 10.7 のコミットと比較します。変更を加える前に、精度と後方再現性のどちらを優先するかを明確にし、その後、効率的な NumPy アプローチを評価して、低解像度で期待される結果を定義します。