f32 < float(i64)
