int and defint use mathrm round the ds