new ctan package: prodint