1. FIXED: DCG_CARDINAL definition of digit//1 is now redundant (after DCG_ASCII extensions).
2. FIXED: decimal fraction DCG rule was not exported.