It would be good to have benchmarks that show that using `Int` or `UInt` is no slower than using `i64` or `u64`.