Implement __aeabi_f2d and __aeabi_d2f