next | previous | forward | backward | up | top | index | toc | home

printingPrecision -- current precision for printing real numbers

Description

This variable is in place, but the corresponding code is not implemented yet.

For the programmer

The object printingPrecision is an integer.