perry@piermont.com 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