Int32(3o) on Linux

The text ae75a68790d9, as Debian 8 (Jessie) shipped it.

32-bit integers.

Int32(3o) on Linux now