Use module-scoped make_quaternion.