New module 'integer_length'.