The characters 12.5 are a literal that is resolved by the compiler as a type double with the value of 12.5.
Znaki takie jak "12.5" stanowią literał o typie określanym przez kompilator jako typ double o wartości 12.5.