FloatSpec does not use non-standard C lib anymore