How do you round 6.512 459 to the nearest ten-thousandth?