Rewrote get_integer() to use new ppm_get_char() method