Quantitative finance library in Miranda