Semi-analytical pricing of options written on SOFR futures | Arena Library | Arena