That looks fine. Please remember to compare any results in the beta to the v7.75 release version.
Update: Hmm. I think I misunderstood your post. You are specifically comparing the release version of 7.75 to that of 7.72? To clarify, this issue has been discussed before - it is due to rounding because of the limited number of decimal places in floating point calculations. It may also be present in bigfloat with large enough values. This particular issue was introduced due to a change that fixed other rounding issues in $base(). These issues are mutually exclusive. I cannot fix one without re-introducing the other. Both issues are due to rounding - in one case, due to too many decimal places, in the other, due to too few. As far as I can tell, there is no solution that resolves both.
