Maybe it could use MulDiv?