Contents
1
scalbn((+-)0, n) returns (+-)0.
scalbn(x, 0) returns x.
scalbn((+-)(inf), n) returns (+-)(inf).