ArrayIter: Add operator<=
bin/other-flavor: Avoid useless output
utility/module: Wrap integer_log for Python