fixed bug with of_int64_(u)s on 32-bit architecture