Just to be clear, the Timestamp precision is not milliseconds but milliseconds * 10000 + sequence. That knowledge is not part of the Timestamp contract and could change in the future...