Perfetto, grazie ad entrambi per il prezioso aiuto.
Ora ottengo il giusto arrotondamento, a meno che non si presentino eccezioni, usando il suggerimento di boots.
Codice PHP:
    if ($resto1 == 0) {
        
$azione "no";
        
$risultato $numero;
    } else {
        if (
$resto1 $discriminante) {
            
$azione "difetto";
            
$risultato $numero $resto1;
        } else {
            
$azione "eccesso";
            
$risultato $numero + ($divisore $resto1);
        }
    }