<?php

class ArithmeticError extends Error
{
}