Deviation from rule 1.1 in mc2_types.h?

[mhabermann]

mc2_types.h states:

typedef signed long int64_t;
/* ... */
typedef unsigned long uint64_t;
/* ... */
typedef long double float128_t;

Violate these three types Rule 1.1 (C90 - compliance)?

[misra-c]

These examples are compliant with C90, but would only be available on some systems. 64 bit integer types and 128 bit floating types are available on some systems. The file mc2_types.h file may need to be modified to suit your machine, but will have additional side-effects.