If there is a tie, instead of using the standard two decimal point reporting, five decimal points will used.