mk-number now takes an integer argument