JSON integer v.s double

Differentiate bewtween int and double

Merge request reports

Loading