This is part of #24457 but it already makes sense without that ticket to have the factory function in a separate module.

CC: @videlec

Component: basic arithmetic

Author: Ralf Stephan

Branch/Commit: c02bb43

Reviewer: Vincent Delecroix

Issue created by migration from https://trac.sagemath.org/ticket/24511