Tentei provocar o erro da divisão por zero usando uma conta padrão:
$valorUm = 5;
$valorDois = 0;
$media = $valorUm / $valorDois;
Desta forma o try/catch (DivisionByZeroError $erro) não pegou de jeito nenhum. Só consegui fazer o try/catch funcionar fazendo a divisão da forma como o professor mostrou, ou seja:
$valorUm = 5;
$valorDois = 0;
$media = intdiv($valorUm, $valorDois);
Tentei fazer sem o intdiv porque imagino que deva ser a forma mais habitual de se fazer uma conta no código. Rodei var_dump para ver se era alguma coisa com o tipo da variável, mas não era. Alguém consegue me ajudar?