What is the Indicator function for set membership of integers?
I have a black-box function (whose definition is not known) producing some numbers (precision is not known).
How to test if the generated number is integer or not?
I am looking for computable definition of "integerness".
Ceil, Truncate, Floor etc.. does not really fit the bill.