Although int32 has a longer length than int8, and has the same type as int

This is to prevent the following `gitbook build` error
with GitBook 2.0.1:

    Template render error: unexpected token: .
        (In file '13.5.md', Line 281, Column 10)

14.4.md