How should printf break rounding ties to respect precision? Consider the following printf invocation:
