add integer overflow check for the fp induction variable