Implement a 128-bit integer type

See issue #100