prod.ordered_smul source