Ciao! Ho un problema con una variabile in php.
Premetto che sto utilizzando php integrato con java.
Ho il seguente codice:

Codice PHP:
$num = $top->totalHits; /* ritorna un int */ 
$resto = $num%5; 
Quando eseguo mi da questo errore:
Notice: Object of class java_InternalJava could not be converted to int

Stampando $num risulta che il valore è corretto.
Sapreste aiutarmi?