Я собираюсь рискнуть предположить, основываясь на любом другом языке программирования, который я когда-либо видел, и сказать, что он делает константу "4" типа Real, а не Integer. Другими словами, он обеспечивает соответствие типов в выражении. «4.0» будет эквивалентно; тот, кто написал этот код, в тот день чувствовал себя очень лаконично.