OK, now the 32bit fix should be working, keeping numbers right
(maybe issues could still exists in summary print)