Fix failed test output

tt.binary is a string, but was trying to print as decimal
Use default types for printf arguments
Merge pull request #1207 from benburleson/patch-1

Fix failed test output