Added INT and IS_NAT

Status Job ID Name Coverage
  Build
passed #260107078
coq:8.8

00:04:57

passed #260107080
coq:8.9

00:05:14