Add inverse hyperbolic functions and add ldexp and frexp functions

This is part of the numeric trait reform tracked on issue #4819