types.h
intdef.h
`intdef.h` is more clear in the purpose that it describes, rather than `types`, `types` is too generic. Note: floating points are still defined in this header, I imagine this to be removed later, alongside the compatibility symlink.