Use the `mul_ground` trick I mentioned above.