Could these take their parameters by ref (i.e. `bound: &BigUint`)? This will mean that they don't transfer ownership and so don't require `.clone()`.