Getting millisecond timestamp value from clusterTime change stream

I see clusterTime is a Timestamp object returned from change stream updates. Is it possible to convert this to a millisecond value? I currently only see the high_ which looks like a unix timestamp (in seconds), but what if updates come sub-second? Is there any way to distinguish which one came first on the server?