Added code to make PERMNOs integers