int(0.5 ** f32)
