carta

Nativeint(3o) on Linux

The text 2305749873da, as Debian 4.0 (Etch) shipped it.

Processor-native integers.

Nativeint(3o) on Linux now