PNR module, with bug awaiting test.check

This version can wrongly create negative PNRs.