For 32-bit int: There's no real reason for that ifdef if we explicitly
specify the stdint.h type.

For 64-bit int: ope, I made it signed accidentally