`.double' expects zero or more flonums, separated by commas. It assembles floating point numbers. The exact kind of floating point numbers emitted depends on how `as' is configured. *Note Machine Dependencies::.Created Mon Nov 8 17:41:51 2004 on tillpc with info_to_html version 0.9.6.