Decimal point in comment