%% syntaxe : any isreal --> booleen
/isreal {
   type (realtype) cvn eq
} def