Add quotIntName and remIntName

There's divIntName and modIntName, but no counterpart for quot and rem.

Edited Feb 23, 2022 by Sylvain Henry

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information