additional documentation for use_double_precision