Icestudio collection for Arithmetics - View it on GitHub