joke number systems browserling numeral system 25 oct 31 oct31 base octal base conversion october bases programmer christmas radix christmas tree vampire dates dec dec25 december decimal halloween number system