Int64(3o) on Linux

The text f2ae982cd289, as Debian 7 (Wheezy) shipped it.

64-bit integers.

Int64(3o) on Linux now