redex: adding tests for numeric primitives