Fixed int128t issue. Hopefully.
Fixed int128t issue. Hopefully.

zbeekman/opencoarrays,jerryd/opencoarrays,sourceryinstitute/opencoarrays,sourceryinstitute/opencoarrays,sourceryinstitute/opencoarrays,jerryd/opencoarrays,zbeekman/opencoarrays,zbeekman/opencoarrays,jerryd/opencoarrays