basic tests for multiplication overflow check