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