# Tests that list.Avg returns a float value (not an integer) when the result
# is mathematically a whole number. Issue: in v0.6.0 the integer representation
# of the float result caused incorrect Int64() reads and panics in Int().
# https://cuelang.org/issue/2649
-- in.cue --

(4 + 8 + 12) / 3
-- out/compile --
--- in.cue
{
  (((4 + 8) + 12) / 3)
}
