(datatype int

       if (integer? N)
       _______________
       N : int;)

(enable-type-theory -)

1