Como encontrar o maior dígito em um número inteiro informado pelo usuário - Lista de Exercícios Resolvidos de Dart

Informe um número inteiro: 3752
O maior dígito no número informado é: 7

// Vamos importar a biblioteca dart:io
import "dart:io";

void main(){
  // vamos pedir para o usuário informar um número inteiro
  stdout.write("Informe um número inteiro: ");
  int numero = int.parse(stdin.readLineSync());
  
  // guarda o maior número
  int maior = 0;
     
  // enquanto número for maior que 0
  // A técnica consiste em separar o número em seus dígitos
  // individuais, começando do último para o primeiro
  while(numero > 0){
    // recebe o resto da divisão do número informado por 10
    int resto = numero % 10;
       
    // o maior é menor que o resto?
    if(maior < resto){
      maior = resto;
    }
       
    // passamos para o próximo dígito
    numero = numero ~/ 10;
  }
     
  // mostra o resultado
  print("O maior dígito no número informado é: ${maior}");
}