handle multi-digit numerals slightly better :)