added decimal data type for k_printf