public native static operator/( readonly a as Double, readonly b as Double ) as Double