issue #1125 use very explicit integer sizes