1. ADDED: decimal_fraction//1
2. DOC: Documented several predicates.