Added int128 and using basictypes.h