Fixed #5965 (False positive zerodiv - loop iterating over double variable)