(rnrs arithmetic fixnums) fixnum? export a procedure again