Made a RichInt with "with0Prefix" method, Date toString.