Juli har således utgjort 8 decimaltum 6 linier.