GeoGen Script reference
GGE1310

The script defined an enum item with a numeric value that was not an integer.

enum MyEnum
{
A = 2,
B = 2.5, // GGE1310
C = 3
}