[GRASS-dev] [GRASS GIS] #1424: Profile tool always casts to integers (incl. csv output)

#1424: Profile tool always casts to integers (incl. csv output)
---------------------+-------------------------------------
  Reporter: hamish | Owner: grass-dev@…
      Type: defect | Status: new
  Priority: major | Milestone: 6.4.6
Component: wxGUI | Version: svn-releasebranch64
Resolution: | Keywords: profile tool, precision
       CPU: All | Platform: All
---------------------+-------------------------------------
Changes (by neteler):

* milestone: 6.4.2 => 6.4.6

Comment:

Replying to [comment:6 mlennert]:
> A student of mine was bitten by this again, recently, so I looked into
it.
>
> I'll attach a new patch which combines Hamish' original patch with the
addition of using m.measure.

...

> So, the patch is still unfinished work, but I'm very busy with other
things these days, and do not have the time in the immediate future to
look at this. Maybe someone else can pick up on what I did.
>
> In any case, it would be great to have the integer->float parts of the
patch applied (and backported to 64release ?).
>
> Moritz

What is the state here?

--
Ticket URL: <https://trac.osgeo.org/grass/ticket/1424#comment:7&gt;
GRASS GIS <https://grass.osgeo.org>