val t = valOf (Time.fromString "0.417")
val () = print (concat [Time.toString t, "\n"])

val t = valOf (Time.fromString "0.999")
val () = print (concat [Time.toString t, "\n"])

val t = valOf (Time.fromString ".417")
val () = print (concat [Time.toString t, "\n"])

val t = valOf (Time.fromString ".999")
val () = print (concat [Time.toString t, "\n"])

val t = valOf (Time.fromString "~0.417")
val () = print (concat [Time.toString t, "\n"])

val t = valOf (Time.fromString "~0.999")
val () = print (concat [Time.toString t, "\n"])

val t = valOf (Time.fromString "~.417")
val () = print (concat [Time.toString t, "\n"])

val t = valOf (Time.fromString "~.999")
val () = print (concat [Time.toString t, "\n"])