A numerals class that might actually work