Decimal number literals should default to double