Plotting array of doubles causes values to be truncated

[AsgerHB]

Describe the bug

Plotting an array of doubles, eg double numbers[3] = {-1.99, 0.99, 1.99}; with something like

simulate[<=10;1] {numbers}

will cause the numbers to be truncated in the plot:

This does not happen in the concrete simulator, nor does it happen if you plot individual doubles.

To Reproduce

Array Plotting Error.zip

Expected behavior
The plot should show values close to -2, 1, and 2.

Version(s) of UPPAAL tested
UPPAAL 5.1.0-beta5 (rev. C7C01B0740E14075), 2023-12-11

UPPAAL 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21

Desktop (please complete the following information):

• OS: Ubuntu 24.04.1 LTS

• Java version:

  openjdk 21.0.4 2024-07-16
  OpenJDK Runtime Environment (build 21.0.4+7-Ubuntu-1ubuntu224.04)
  OpenJDK 64-Bit Server VM (build 21.0.4+7-Ubuntu-1ubuntu224.04, mixed mode, sharing)