toJSON(true ? i32 : div)
