Simplify num.rs