string to_iso8601 (int64 timestamp)
string to_iso8601 (int64 timestamp)
Convert a timestamp to a human-readable ISO8601 format
| timestamp | a timestamp in milliseconds since the Unix Epoch |
| a newly allocated string containing the ISO8601 version of the given timestamp |