[Main]
Name=uintmax_t
Type=Type
Subtype=Scalar
Header Files=stdint.h
Definition=typedef unsigned long long uintmax_t;

[Description]
The largest unsigned integer on this platform (specified by C99).

[Explanation]
This type can be used when one wants the widest possible unsigned integer on the platform. In TIGCC, this type
is exactly 64 bits.
