div not in [half, f32, false]
