Max Lübke e8a783f00c fix: domain size can also be real number

2023-09-06 09:15:08 +02:00

..

tug

fix: domain size can also be real number

2023-09-06 09:15:08 +02:00