Slightly more efficient number parser