toJSON(f64 * i64)
