__fpu_dtof
s = __fpu_dtof(fp, l0 >> 32, l0 & 0xffffffff);
int __fpu_dtof(struct fpn *, uint32_t, uint32_t);