library/coretests/tests/num/u128.rs

uint_module!(u128);