zarith with fixes for Mirage