num crate is now external