Tests for module 'integer_length'.