toJSON(min(i32) / f32)
