Re: Integer division

[Roberto Ierusalimschy <roberto@...>]

> Is it a goal to have this invariant?
> 
>   For all numbers n1, n2:
>   For all non-debug Lua expressions L:
>       [[ function f(x,y) return L end ]] 
>   There do not exist integers i1==n1, i2==n2 such f(i1,i2)~=f(n1,n2)?

Not in general. First, there may be overflows inside 'f'. Second, we
probably will have a function like 'isfloat' (but it may be a debug
function). Otherwise, I think (hope?) the answer is yes; that is what we
want.

-- Roberto