The text 2305749873da, as Debian 4.0 (Etch) shipped it.
Processor-native integers.
Nativeint(3o) on Linux now