simulator: reset output format to decimal after printing hex