One doc tagged with "int"

Scilla defines signed and unsigned integer types of 32, 64, 128, and 256 bits.