Assignment 1 - Hayden Blauzvern

But would it be impossible to do general math in Cryptol?