[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.