tree 6266e110f0184f59e9f283afc1fd9222c638764c
parent 2540e8a203114367a7eaa0825041898fb53e56ca
author Marcel van Lohuizen <mpvl@golang.org> 1576617559 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1576663236 +0000

cue: fix number output

Ensure that numbers of type float have
a dot in them to retain their type.

Also:
- removes stripping of trailing zeros after
  division.
-  fixes a bug where the type of a resulting
   number is determined using old semantics.
- fixes a blatant typing bug.

Fixes #233

Change-Id: I2cc524923f189bdf8cb25dd72a1667ee2f2097d0
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/4400
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>