Renamed source files to match new names of PosInt and PozInt.