"go.cypherpunks.su/tai64n/v4"
 )
 
-func tclTAI(t time.Time, ns int, as uint64) {
+func tclTAI(t time.Time, ns, as int) {
        utc, isLeap := tai64n.Leapsecs.Sub(t)
        year := utc.Year()
        if year < 0 {
        if isLeap || year > 9999 {
                fmt.Printf("TAI64 %d %d %d", t.Unix(), ns, as)
        } else {
-               fmt.Printf("TAI64 [ToTAI [ISOToSec \"%s\"]] %d %d",
-                       utc.Format("2006-01-02 15:04:05"), ns, as)
+               s := `TAI64 [ToTAI [ISOToSec "` + utc.Format("2006-01-02 15:04:05") + `"]]`
+               if ns > 0 {
+                       s += " " + strconv.Itoa(ns)
+               }
+               if as > 0 {
+                       s += " " + strconv.Itoa(as)
+               }
+               fmt.Print(s)
        }
 }
 
                                var n tai64n.TAI64N
                                copy(n[:], tai[:])
                                t := n.Time()
-                               tclTAI(t, t.Nanosecond(), be.Get(tai[12:]))
+                               tclTAI(t, t.Nanosecond(), int(be.Get(tai[12:])))
                        case types.Magic:
                                allPrintable := true
                                magic := iter.Magic()