timePointToDate function
Convert time_point
(miliseconds since epoch) to date in ISO format */
Implementation
String timePointToDate(int us) {
var s = DateTime.fromMillisecondsSinceEpoch(us ~/ 1000).toIso8601String();
return s.substring(0, s.length - 1);
}