$Timestamp is a decimal representation of the decimal number of seconds since
1970-01-01 00:00:00 UTC, normalized so that:
* there is always an integer and a decimal part, separated by a dot
* the integer part should be a single '0' if it is zero,
and not have leading zeros otherwise
* the fractional part should be a single '0' if it is zero,
and not have trailing zeros otherwise