f32 / 0.5 - i64
