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);
}
}