Added PP 5.3 `IntegerInfo'