Subject: Re: port-alpha/6634: divide by zero gives strange results on alpha
To: None <schoedel@kw.igs.net, tv@pobox.com>
From: Ross Harvey <ross@teraflop.com>
List: netbsd-bugs
Date: 12/22/1998 16:26:27 
> Actually,
>
> 	printf("j: %f\n", j);
>
> is OK.
>

Agreed. From day one, floats were promoted to double. ANSI adds new rules on top
of the old ones, but the stdarg case effectively disables them.

  --Ross Harvey