Towards reentrant safe doubles