[medium] Use float64 everywhere instead of uint64, as required by the JSON standard