9 ms·FWIW, using CLISP 2.49 REPL [1]> (* 1.15 100) 115.0by signalsignal 15y agoFWIW, using CLISP 2.49 REPL [1]> (* 1.15 100) 115.0