cleaned up integer-overflow check cast