Daniel Lehman : msvcp: Sync num_put<> put_double.