it's better to print them in decimal format, for easier comparison with irmp defines