shikamaru

Provably correct ISDA day-count and accrued-interest calculations, verified against QuantLib.