perry%piermont.com@localhost wrote: > > Clock frequencies tend to be big numbers -- use humanize_number() when > > displaying them through printf. > > I'm not sure that's a good idea. It is useful to know the exact value > of the clock. BTW, is such "the exact value of the clock" really precise? --- Izumi Tsutsui