fix frexp documentation