Cast sizes coming out of os.stat() to ints in the doctest to make the
output deterministic too, as reported by Christoph Thiel.