added get_integer util