Add inverse hyperbolic functions and add ldexp and frexp functions

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