Use floats and ints instead of only strings in exported JSON.