Use JSON floats for download sizes, not ints

Avoids int size limits on 32-bit systems.