Чему равен логарифм корня из двух в IEEE754 (fp32)?

И то и то - всего лишь один из стандартов, претендующих на описание libc

Описание абстрактной libc, которая необязательно даже libc емнип, тем более что обычно libm отдельно.

А вот в случае конкретных реализаций libc происходит своего рода диалектическое отрицание, и уже конкретная версия библиотеки начинает претендовать на соответствие какому-нибудь одному (или другому, или обоим сразу) стандарту. Но конечно авторов библиотеки никто не ограничивает в следовании стандартов – тут дело добровольное: хочешь – следуй, хочешь – городи свой огород.

Что-то про Floating Point в Java https://people.eecs.berkeley.edu/~wkahan/JAVAhurt.pdf

Заголовок замечательный