Extracting a numeric from an ex