A planned replacement for Rust's numeric traits