improve output of toString for Timestamp
add support for short syntax