try to fix weird fast_frexp bug in ellpk on mini-titan
add workaround for ::frexpf on GCC 4.6 + check that ::frexpf/::frexp is available and use std::frexp otherwise