console_write_dec() implemented