Stav dette: Implementing models of financial derivatives