Kalk is a convergent calculator for Plasma.