Fix simulator overflow check bug in cfdbr, case: round towards -inf