printf: should %f round ???

[Chris Torek]

In article <7916 at watdragon.waterloo.edu> ajmyrvold at violet.waterloo.edu
>(Alan Myrvold) writes:
>I feel deeply that the only REASONABLE behaviour for printf is to
>round to the precision specified - but is this behaviour spelled
>out anywhere?

Yes:

May 13, 1988 draft proposed ANS X3J11, p. 130, \S 4.9.6.1:

    f ... The value is rounded to the appropriate number of digits.
-- 
In-Real-Life: Chris Torek, Univ of MD Comp Sci Dept (+1 301 454 7163)
Domain:	chris at mimsy.umd.edu	Path:	uunet!mimsy!chris