simplified and accurified --next INTEGER