diff --git a/Objects/floatobject.c b/Objects/floatobject.c
index 63b7c17..30f7b34 100644
--- a/Objects/floatobject.c
+++ b/Objects/floatobject.c
@@ -1086,6 +1086,7 @@
     char *buf, *buf_end, shortbuf[100], *mybuf=shortbuf;
     int decpt, sign, val, halfway_case;
     PyObject *result = NULL;
+    _Py_SET_53BIT_PRECISION_HEADER;
 
     /* The basic idea is very simple: convert and round the double to a
        decimal string using _Py_dg_dtoa, then convert that decimal string
@@ -1142,7 +1143,9 @@
         halfway_case = 0;
 
     /* round to a decimal string; use an extra place for halfway case */
+    _Py_SET_53BIT_PRECISION_START;
     buf = _Py_dg_dtoa(x, 3, ndigits+halfway_case, &decpt, &sign, &buf_end);
+    _Py_SET_53BIT_PRECISION_END;
     if (buf == NULL) {
         PyErr_NoMemory();
         return NULL;
@@ -1186,7 +1189,9 @@
 
     /* and convert the resulting string back to a double */
     errno = 0;
+    _Py_SET_53BIT_PRECISION_START;
     rounded = _Py_dg_strtod(mybuf, NULL);
+    _Py_SET_53BIT_PRECISION_END;
     if (errno == ERANGE && fabs(rounded) >= 1.)
         PyErr_SetString(PyExc_OverflowError,
                         "rounded value too large to represent");