Make double rule work w/ current decimal separator

Had to do a pretty ugly workaround in order to
obtain the current decimal separator, but this
was needed due to the current behaviour of
NavTable saving.