bxifloats.h For comfortable use of fixed-size float numbers the following types are provided: f32 f64 #define BITS_IN_F32 #define BITS_IN_F64