Factour out 'IntPSQ' into its own module.