Because the iterator itself is exact, I see no reason to not implement these traits. Sort of iffy in hindsight about DoubleEndedIterator but I've offered both to see what people think.
(rust_highfive has picked a reviewer for you, use r? to override)
DoubleEndedIterator and ExactSizeIterator for To*case.