Title: Computing with Fermat