[math-fun] Provide & Require