Re: Bounds of Arrays
David Flower wrote:
> James Giles wrote:
>> NINT(Y) = FLOOR(Y+0.5)
>> That's simpler and easier to verify.
> Bot flooor is not valid F66!
> How about:
> NINT(Y) = Y + SIGN(0.5,Y)
> which is.
That has the problem I'd prefer to avoid:
it changes the statistical properties of my
histograms in the neighborhood of zero.
I'd rather write it using FLOOR even if I
also have to write FLOOR as well.
"I conclude that there are two ways of constructing a software
design: One way is to make it so simple that there are obviously
no deficiencies and the other way is to make it so complicated
that there are no obvious deficiencies." -- C. A. R. Hoare