Int32(3o) on Linux

The text eb5604d5c4e0, as Debian 5.0 (Lenny) shipped it.

32-bit integers.

Int32(3o) on Linux now