Using QED in Mint