+
+ # /*----------------------------------------------------------------------------
+ # | 32-bit (single-precision) posit operations.
+ # *----------------------------------------------------------------------------*/
+
+ bint isNaRP32UI( posit32_t );
+
+ uint_fast32_t p32_to_ui32( posit32_t );
+ uint_fast64_t p32_to_ui64( posit32_t);
+ int_fast32_t p32_to_i32( posit32_t );
+ int_fast64_t p32_to_i64( posit32_t );
+ posit8_t p32_to_p8( posit32_t );
+ posit16_t p32_to_p16( posit32_t );
+ # posit64_t p32_to_p64( posit32_t );
+
+ posit32_t p32_roundToInt( posit32_t );
+ posit32_t p32_add( posit32_t, posit32_t );
+ posit32_t p32_sub( posit32_t, posit32_t );
+ posit32_t p32_mul( posit32_t, posit32_t );
+ posit32_t p32_mulAdd( posit32_t, posit32_t, posit32_t );
+ posit32_t p32_div( posit32_t, posit32_t );
+ posit32_t p32_sqrt( posit32_t );
+ bint p32_eq( posit32_t, posit32_t );
+ bint p32_le( posit32_t, posit32_t );
+ bint p32_lt( posit32_t, posit32_t );
+
+ quire32_t q32_fdp_add( quire32_t, posit32_t, posit32_t );
+ quire32_t q32_fdp_sub( quire32_t, posit32_t, posit32_t );
+ posit32_t q32_to_p32( quire32_t );
+
+ bint isNaRQ32( quire32_t );
+ bint isQ32Zero( quire32_t );
+ quire32_t q32_TwosComplement( quire32_t );
+ quire32_t q32_clr( quire32_t );
+ quire32_t q32Clr();
+ quire32_t castQ32( uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t );
+ posit32_t castP32( uint32_t );
+ posit32_t negP32( posit32_t );
+
+ # Helper
+ double convertP32ToDouble( posit32_t );
+ # posit32_t convertFloatToP32(float);
+ posit32_t convertDoubleToP32( double );