Other implementations of "time -p" (both builtin and standalone) only display two digits after the radix point. I'm a little concerned about breaking scripts that consume out the output of "time -p".
Changing the precission of the non-portable output format is fine. - todd
