Int64(3o) on Linux

The text 2e21b26d8c78, as Debian 3.1 (Sarge) shipped it.

64-bit integers.

Int64(3o) on Linux now