More robust int128_t checking