Replaced the old number tower with the newer, finer one
Renamed **/finer_number.[ch] to **/number.[ch]