int(i64 - f32)
