lib/json: converting JsonValue to float or int casts between numerics