onde:numeri_reali