Use proper integer types (makes no practical difference, but still.)