An extremely general purpose Android Calculator