See frexp.html