min(i64, f64) * i32
