29.13. .double flonums

.double expects zero or more flonums, separated by commas. It assembles floating point numbers. See Chapter 30.