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