We just released the first version of Jade Arithmetic. Please check it out and give us feedback.