float64_to_float32

201

float32 float64_to_float32( float64 ) __dso_protected;

2222

time_a_float64_z_float32( float64_to_float32 );

257

sfc.i = float64_to_float32(tfb.i);

278

(void) float64_to_float32(tfb.i);

108

tmp = float64_to_float32(src->dbl);

1060

raw = float64_to_float32((float64)raw);

236

float32 float64_to_float32( float64 );