Disassembly of section .text:
@@ -425,7 +425,7 @@ _ZL18encode_ieee_doublePK11real_formatPl
      442:	e7af      	b.n	3a4 <_ZL18encode_ieee_doublePK11real_formatPlPK10real_value+0x2c>
      444:	f063 4300 	orn	r3, r3, #2147483648	; 0x80000000
      448:	f04f 35ff 	mov.w	r5, #4294967295	; 0xffffffff
-     44c:	e7aa      	b.n	ffffff58 <_Z29HONOR_SIGN_DEPENDENT_ROUNDINGPK7rtx_def+0xffffb564>
+     44c:	e7aa      	b.n	ffffff58 <_Z29HONOR_SIGN_DEPENDENT_ROUNDINGPK7rtx_def+0xffffb554>
      44e:	f240 0000 	movw	r0, #0