Now here's a weird thing.  You're obviously using three code points this time and my system successfully places the circle around the second code point, but that second code point is still a box with the hex code in it.  So it supports doubling, just not with the double-stroke you're normally pushing.