Sets a number of digits for real numbers when they are written to a file. The passed non-positive value or more than sixteen sets default settings. The passed positive value less than three sets the number to three.