Close #19: Handle float64, which JSON uses for numbers