SciSci built a virtual machine that emulates the architecture of our exact CPU, including arithmetic logic units and registers. It accepts assembly input and issues outputs in machine code which return exact inputs when fed to the compiler. This demo video shows examples of addition, multiplication, division, exponentiation, and roots, and compares performance with  floating-point. 
​