Index: tools/timekey.adb
==================================================================
--- tools/timekey.adb
+++ tools/timekey.adb
@@ -29,10 +29,11 @@
 
 
    Input_Processed : Boolean := False;
    Empty : Boolean := True;
    Verbose : Boolean := False;
+   Subsecond_Digits : Natural := Duration'Aft;
 
 
    procedure Process (Line : in String) is
    begin
       if Verbose then
@@ -44,11 +45,11 @@
             Ada.Text_IO.Put (" => ");
          end if;
 
          Ada.Text_IO.Put_Line
            (Natools.Time_IO.RFC_3339.Image
-              (Natools.Time_Keys.To_Time (Line), Duration'Aft, False));
+              (Natools.Time_Keys.To_Time (Line), Subsecond_Digits, False));
 
       elsif Natools.Time_IO.RFC_3339.Is_Valid (Line) then
          if Verbose then
             Ada.Text_IO.Put (" => ");
          end if;
@@ -96,13 +97,13 @@
       declare
          Now : constant Ada.Calendar.Time := Ada.Calendar.Clock;
       begin
          if Verbose then
             Ada.Text_IO.Put
-              (Natools.Time_IO.RFC_3339.Image (Now, Duration'Aft, False)
+              (Natools.Time_IO.RFC_3339.Image (Now, Subsecond_Digits, False)
                & " => ");
          end if;
 
          Ada.Text_IO.Put_Line (Natools.Time_Keys.To_Key (Now));
       end;
    end if;
 end Timekey;