add overflow check for integer symbols and fix logging