Use integer sizes.