F.9.3.6 The ldexp functions

1

On a binary system, ldexp(x, exp) is equivalent to scalbn(x, exp).