askinteger and featurep



Dear all,

I do this:

declare(n,integer);
askinteger(n-1/2);
is (2n-1)/2 an integer?

why is it asking me this? Isn't it clear that this is never an integer?

also:
featurep(n-1/2,integer);
false

featurep seems to be more knowledgeable than askinteger. Does it do more than 
askinteger? 


Best,
Nijso