Move IEEE754 support code to lib/