Re: Fixed point constants issue

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 09/24/2010 03:42 PM, Vinzent Hoefler wrote:
>
> 3.5.9 says:
>
> Multiplication and division of fixed point values deliver results of a
> fixed point type with
> an arbitrarily fine accuracy [...] which is referred to [...] as
> /universal_fixed/.

Yes. But these are not fixed-point values. One is universal_integer and the 
other is universal_real. The question is whether "*" is the one defined for 
universal_real or for the fixed-point type. In the latter case, the 
universal_real value would be converted to the fixed-point type before calling "*".

ARM83 4.10 says that static, universal expressions are evaluated exactly. The 
question seems to be whether the expression is universal. ARM83 4.4 seems to be 
the place to look for that, but I'm not sure which it requires.

-- 
Jeff Carter
"We use a large, vibrating egg."
Annie Hall
44