a Calculator in Jasmin