toJSON(ok ? f32 : div)
