mv integerpp natural.
Integerpp has been moved to Natural.