あ，0*infがNaNだから 0か空文字は VAR A#=POW(2,2013) RETURN X*A#==X*A# で判定できました． 全部組み合わせれば，文字列/実数/整数はできますね．