Python/NumberEmbededStringCmp: Add