type(int(i64) <= f32)
