A mobile app for turning numbers into other numbers