Comment by add-sub-mul-div

No, there's no reason for slop to be posted here. If we wanted it we could just generate it ourselves.