Declare frexpl() in the test.