toJSON(i32 + f64)
