toJSON(-f64)
