language changes: std::num::Integer no longer exists.