## dividend Rust library creating the divendend trait