This is a partial and preliminary fix; we had an occasional numeric overflow on 32bit platforms in some tests. The complete fix will be to introduce a typedef and then rework the relevant APIs (which are preliminary anyway, thus no urge right now)