Names:

single, SG rounding to the nearest IEEE 754 single (binary32).

Library names:

sollya_obj_t sollya_lib_single(sollya_obj_t) sollya_obj_t sollya_lib_single_obj() int sollya_lib_is_single_obj(sollya_obj_t) sollya_obj_t sollya_lib_build_function_single(sollya_obj_t) #define SOLLYA_SG(x) sollya_lib_build_function_single(x)

Description:

Example 1:

   > display=binary!;
   > SG(0.1);
   1.10011001100110011001101_2 * 2^(-4)
   > SG(4.17);
   1.000010101110000101001_2 * 2^(2)
   > SG(1.011_2 * 2^(-1073));
   0
See also: halfprecision, double, doubleextended, doubledouble, quad, tripledouble, roundcoefficients, implementpoly, round, printsingle