Just out of curiosity, how does intp() and such work.
Say you have int|float x, then x=5.0.
Does intp test the type of the variable, or the type of the contents. Does intp(x) return true because x is of type int (also of type float), or false because the contents of x (currently 5.0) is float, so not an int at that point.
I'm thinking contents, not variable itself, so you can do checks against it.