#include <stdint.h>
#include "platform.h"
#include "internals.h"
#include "softfloat.h"
Go to the source code of this file.
Definition at line 42 of file ui32_to_f64.c.