A more civilised printf ;)