Pub use CheckedDiv in the prelude