Int32(3o) on Linux

The text ebda954d2740, as Debian 12 (Bookworm) shipped it.

32-bit integers.

Int32(3o) on Linux now