Hi, just a nit:
+Defined to the widths of the corresponding types. They exist to make
+the implementations of @file{limits.h} and @file{stdint.h} make
+correctly.
Defined to the bit widths ...
They exist to make the implementations of ... behave correctly.
Bernd.
