document parse_integer method; other refinements to parse_string