Make int128 work even without native support

[lerno]

On platforms without int128, support must be compiled, either by doing it manually or by implementing the standard routines for it.