Just saw this comment in the documentation:
Warning: This represents the id_str field, which could differ from the value of the id field.
TWTRTweet doesn’t provide any other way of getting the ID, no Int64 etc. So are we to just use the tweetID String and hope for the best? 