encoding/encoding/jsonschema: allow type number with int enum
This change adjusts the jsonschema logic to allow a number type
to be combined with a numeric enum.
Fixes #3173.
Signed-off-by: Roger Peppe <rogpeppe@gmail.com>
Change-Id: I4e2c63a51135fa3a59ec92d401b03295dc991306
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1199214
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
Reviewed-by: Daniel Martí <mvdan@mvdan.cc>
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>