It seems you are right. IEEE doesn't say anything, which I guess makes it implementation defined. However, in glibc, there are definitely code paths for lookin

It seems you are right. IEEE doesn't say anything, which I guess makes it implementation defined. However, in glibc, there are definitely code paths for looking up digits of pi.