The combination of a Double value and a DoubleFormat format string.

Input Format:

There is no way to literally enter a PrintDouble value. However one can be generated dynamically by calling the $format_double() function.

Example:

The following example prints PI to 3 decimal places. It does this by using the $format_double() function to combine the value of PI with a "+.3f" format specifier. This returns a PrintDouble value, which is then passed to the print command, which prints PI using the specified format.

  print $format_double("+.3f", 3.14159265);

This produces the following output:

  +3.142

Further examples can be found in the documentation of the DoubleFormat datatype.