toJSON(half(f64))
