This is a sub-component of mul10, q.v.
