Во-первых, дело было в США (у нас дробный разделитель запятая, а не точка), Во-вторых при решении человеком, как раз сокращают, если нет оговорённого требования так не делать.
Бред сивой кобылы. 8 = 8,0. И какая разница как записать. Это уже не математика, чёрт знает что, формализм, не имеющий к математике никакого отношения. Я в шоке...