library/coretests/tests/num/u64.rs

uint_module!(u64);