Int32(3o) on Linux

The text 56129ad9357c, as Debian 6.0 (Squeeze) shipped it.

32-bit integers.

Int32(3o) on Linux now