This reverts commit be7d7ca1. This commit was made to fix be7d7ca1 which got reverted in 620b3d9b. We need to revert this commit as well because types in log statements are 32 bit again.
