New module 'frexp-nolibm'.