Use ordered on the raw roots, not sorted
Add is_number=True property for RootOf