min(i64, 1) <= f64
