min(i32, i64) <= f64
