redex: add primitives for number