add workaround for ::frexpf on GCC 4.6 + check that ::frexpf/::frexp is available and use std::frexp otherwise