3 ms·

Double irony may be the wrong term, but I'm tired, and SICP(SICP) ;-) Only the math and Lisp / Scheme cognoscenti will get that one.