frexp-nolibm, frexpl-nolibm tests: Fix bug introduced on 2012-03-03.