u32_list_intervals python bindings
Add integer_cast as a test
Rename tools