Esprit project dat ten doel heeft methoden en gereedschappen voor nauwkeurige drijvende-kommaberekeningen op computer te ontwikkelen, die gebaseerd zijn op een mathematische theorie van computerberekeningen waarin alle bewerkingen door zogenaamde semimorfismen zijn gedefinieerd