Symbol: extract_number