Practical numbers: Difference between revisions

Note that helpful type comments for the reader, have been deleted (without consultation) by a third party,

and replaced with type hints for the compiler.

Type hints are interesting, and can be useful in larger projects though its unclear whether they really earn their keep in small scripts.

What is clear is that they are noisier, and less informative, than the comments for the reader which were unilaterally deleted here, and which served a different purpose.