human numbers in in def files

(and woo 100th commit party all night)