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