Types that extend Semiring with subtraction.
Semiring
use fp_library::classes::Ring; assert_eq!(i32::subtract(5, 3), 2);