that sounds like Lisp promotion. But in the case of Lisp, it's actually true.