Describe the problem

If in this line of writing in the dac I write int in front of valeuraenvoyer .. the sketch is compiled and uploaded into my arduino XIAO without problem

// Calculation of the value corresponding to the desired voltage at the output of the DAC and its shipment
  int Valeuraenvoyer = tensionvoulueensortie * 1024/3.3;

On the other hand if I write "Float" in front "Valeuraenvoyer" .. The sketch is compiled but impossible to upload it
I have this error without any explanation:

Write 44392 bytes to flash (694 pages)

[==] 9% (64/694 pages)
[=====] 18% (128/694 pages)
[======= "27% (192/694 pages)
[==========/36% (256/694 pages)
[============== "(320/694 pages)
[================= "(384/694 pages)
[===================== "(448/694 pages)
[=======================/73% (512/694 pages)
[=========================/82% (576/694 pages)
[============================= "(640/694 pages)
[=============================/100% (694/694 pages)
Done in 0.256 seconds

VERIFY 44392 bytes of flash with checksum.
VERIFY FAILED
Failed Uploading: Uploading Error: Exit Status 2

To reproduce

If I place int i can upload into my arduino..... Immediately I replace it with float and I have a mistake! ... Imediatement I put back int and everything is fine ... I put it back and I have mistakes again

Expected behavior

I expect to upload my sketch

Arduino IDE version

IDE 2.0.0 date 2022-09-14

Operating system

macOS

Operating system version

Mojave

Additional context

No response

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details