nicholas@peacock2/5 ~ > cat >test.c
#include <stdlib.h>

int main(void) {
        printf("%f\n",atof("0x9"));
}
nicholas@peacock2/5 ~ > cc test.c -o test; ./test
0.000000