Is inc function part of the library ?

[Alain De Vos]

I have the feeling it is a pragmatic definition of pure. (isClose)
Although a compiler message , which does not even be a warning, 
is always a nice to have.