[math-fun] Simplified division?