module CoreRefinements::Numeric