Rounding line vertices to 5 places

hoped this would save some space in the json file ... not much!  Still
seems reasonable to do this though.