RosTime operator +(RosTime other) => RosTime.fromDateTime(toDateTime() + Duration(seconds: other.secs, microseconds: other.nsecs ~/ 1000));