Int32(3o) on Linux

The text 2daf97ee8372, as Debian 4.0 (Etch) shipped it.

32-bit integers.

Int32(3o) on Linux now