Re: [GHC] #7457: printf's * doesn't like negative numbers