Passing a const double through a partial template causes an error

[labr-cs-aau]

Whenever you try to pass a const double through a partial instantiation of a template, UPPAAL will complain about an incompatible argument. This behaviour does not happen with integers, where they get passed just fine.

Steps to reproduce the behavior:

1. Add a double parameter to a template.
2. Partially instantiate the template in your system definitions (PartTemplate(const double a) = Template(a))
3. Complete the instantiation and add the process to your system (Process = PartTemplate(1); system Process;)
4. Check syntax to see the error of incompatible argument.

Changing the double types to integer types will not error, and I would have expected that the doubles behaved in the same way.
Interestingly enough, you can pass a reference to a double just fine, exactly how a reference to an integer is passed.

UPPAAL Version 5.0.0 (rev. 714BA9DB36F49691)

./verifyta --version output:
UPPAAL 5.0.0 (rev. 714BA9DB36F49691), June 2023
Copyright (c) 2011 - 2023, Aalborg University.
Copyright (c) 1995 - 2011, Uppsala University and Aalborg University.
All rights reserved.
Compiled using -DENABLE_TIGA -DMULTI_TERMINAL -DENABLE_TIGA_SMC -DENABLE_STORE_MINGRAPH -DTIGA_OTF_BUCHI -DENABLE_LSC
Built with Boost-1.79.0, LibXml2-2.9.14, xxHash-0.8.1, UTAP-1.1.6, UUtils-1.2.0, UDBM-2.0.11, and UCDD-0.2.1

Fedora Linux 64-bit, Java 17