PTAInt

See PTA_int