I think this is the wrong behavior. This should display as 123456789.012345.