This could be implemented as `Timestamp.now.toString`, as mentioned above.