Commit bfa0a51966a4b7af6c23cc0f0cbbc0d2f0a47816

Bruno Haible 2007-06-02T00:54:30

Update after Eric Blake found that frexpl doesn't work right on mingw.