signo = (int) $signo; } }