// Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06
interface NumberQuadrupler {
  // This operation simply returns four times the given number x.
  legacycaller float compute(float x);
};