[Vm-dev] fdlibm is not C99 conformant