On Fri Sep 15 21:16:04 2023 +0000, Bartosz Kosiorek wrote:
Based on experiments I have managed to check how destination size is calculated.
If it makes a difference, there should be tests. Those tests should also show that it is not using banker's rounding.