Also, many things that look like numbers shouldn't be encoded as such, e.g. credit cards or phone numbers, are not. E.g. any leading zeros get dropped out of p

Also, many things that look like numbers shouldn't be encoded as such, e.g. credit cards or phone numbers, are not. E.g. any leading zeros get dropped out of phone number starting with a 0, very common.