problem with setprecision().